26 citations · 45 across the 7 of their papers we have counts for
1 paper · 2 filters
Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez
We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communica…