A note on two notions of compliance
Bartoletti, Massimo · Cimoli, Tiziana · Pinna, G. Michele
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.