A note on two notions of compliance

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.