5 citations · 5 across the 1 of their papers we have counts for
1 paper
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
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 complia…