General dynamic recovery for compensating CSP

MaRDI QIDQ4994837zbMATH OpenFDO

Authors Abeer S. Al-Humaimeedy, Maribel Fernández

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0073, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2012.1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the Expressive Power of Primitives for Compensation Handling
• Recovery within long-running transactions
• On compensation primitives as adaptable processes
• Controlled Reversibility and Compensations
• On primitives for compensation handling as adaptable processes

Cited in

(5)

• On primitives for compensation handling as adaptable processes
• Safer asynchronous runtime monitoring using compensations
• Recovery within long-running transactions
• On compensation primitives as adaptable processes
• Enabling synchronous and asynchronous communications in CSP for SOC

This page was built for publication: General dynamic recovery for compensating CSP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994837)