20 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
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…