13 citations · 25 across the 3 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…