A Note On Compliance Relations And Fixed Points
Maurizio Murgia (Universit\`a degli Studi di Cagliari)
TL;DR
This paper introduces a fix-point based family of compliance relations for behavioral contracts within Labelled Transition Systems, unifying many existing compliance notions in a syntax-independent framework.
Contribution
It presents a novel fix-point approach to define compliance relations, encompassing many prior relations in a unified, syntax-independent setting.
Findings
Many existing compliance relations are instances of the proposed fix-point family.
The framework is syntax-independent, broadening applicability.
Provides a theoretical foundation for analyzing compliance in behavioral contracts.
Abstract
We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMulti-Agent Systems and Negotiation · Logic, Reasoning, and Knowledge · Logic, programming, and type systems