Recovery within long-running transactions

DOI10.1145/2480741.2480745MaRDI QIDQ2875115zbMATH OpenOpenAlexFDO

Authors Christian Colombo, Gordon J. Pace

Publication date 13 August 2014

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/24157

zbMATH Keywords

compensations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• On the Expressive Power of Primitives for Compensation Handling
• Communicating Sequential Processes. The First 25 Years
• Compensation by design
• General dynamic recovery for compensating CSP
• On the analysis of compensation correctness

Cited in

(9)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
• True concurrency in long-running transactions for digital ecosystems
• A type theory for robust failure handling in distributed systems
• scientific article; zbMATH DE number 1945819 (Why is no real title available?)
• On the analysis of compensation correctness
• scientific article; zbMATH DE number 2036321 (Why is no real title available?)
• Combining transactions and automatic repairs
• General dynamic recovery for compensating CSP

This page was built for publication: Recovery within long-running transactions

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