13 citations · 28 across the 6 of their papers we have counts for
1 paper · 1 filter
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…