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