A note on two notions of compliance
Massimo Bartoletti (University of Cagliari), Tiziana Cimoli, (University of Cagliari), G. Michele Pinna (University of Cagliari)
TL;DR
This paper explores the connection between binary session types and game-theoretic models of contracts, showing that compliance in session types aligns with winning strategies in game-based frameworks.
Contribution
It establishes a formal relationship between session type compliance and game-theoretic contract models, bridging two different approaches.
Findings
Compliance in session types corresponds to winning strategies in game models
Formal link between binary session types and event structure-based contracts
Provides insights into the nature of contract compliance
Abstract
We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that compliance in session types corresponds to the existence of certain winning strategies in game-based contracts.
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
TopicsLogic, programming, and type systems · Logic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms