Post date: 06-May-2014 19:19:33
Upcoming paper (to be presented at ICE 2014, Berlin, June 2014)
A note on two notions of compliance
M. Bartoletti, T. Cimoli and G.M. Pinna
Abstract. We establish a relation between two models of contracts, one based on session types, and the other one on event structures and game-theoretic notions.
In particular, we show that compliance in session behaviours corresponds to the existence of certain winning strategies in game-based contracts.