35 citations · 63 across the 23 of their papers we have counts for
1 paper · 1 filter
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto +1
We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises ma…