35 citations · 63 across the 23 of their papers we have counts for
1 paper · 2 filters
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…