A note on two notions of compliance
  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. 
Massimo Bartoletti (University of Cagliari), Tiziana Cimoli   (University of Cagliari), G. Michele Pinna (University of Cagl...
cs.PL cs.GT