Jovana Dedeić

On Compensation Primitives as Adaptable Processes

2015 · Electronic Proceedings in Theoretical Computer Science

We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively similar: both specify how the …