30 citations · 98 across the 16 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…