13 citations · 25 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…