13 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.PL2011★ 13 cited
Contracts in distributed systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-…
cs.PL2010★ 5 cited
Primitives for Contract-based Synchronization
Massimo Bartoletti, Roberto Zunino
We investigate how contracts can be used to regulate the interaction between processes. To do that, we study a variant of the concurrent constraints calculus presented in [1], feat…