A note on two notions of compliance

Massimo Bartoletti
(University of Cagliari)
Tiziana Cimoli
(University of Cagliari)
G. Michele Pinna
(University of Cagliari)

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.

In Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova and Hugo Torres Vieira: Proceedings 7th Interaction and Concurrency Experience (ICE 2014), Berlin, Germany, 6th June 2014, Electronic Proceedings in Theoretical Computer Science 166, pp. 86–93.
Published: 26th October 2014.

ArXived at: https://dx.doi.org/10.4204/EPTCS.166.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org