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