A note on two notions of compliance
arXiv:1410.7472 · doi:10.4204/EPTCS.166.9
Abstract
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.
In Proceedings ICE 2014, arXiv:1410.7013