News‎ > ‎

A note on two notions of compliance

posted May 6, 2014, 12:19 PM by Massimo Bartoletti   [ updated May 7, 2014, 11:10 AM ]
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.
Ċ
Massimo Bartoletti,
Oct 10, 2014, 8:06 AM
Ċ
Massimo Bartoletti,
Jun 9, 2014, 12:56 AM
Comments