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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.166.9 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |