Verifying Compensating Transactions

DOI10.1007/978-3-540-69738-1_2MaRDI QIDQ5452593zbMATH OpenOpenAlexFDO

Authors Michael Emmi, Rupak Majumdar

Publication date 4 April 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69738-1_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compensable transactions
• Theoretical foundations for compensations in flow composition languages
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 2079809
• On the analysis of compensation correctness

Cited in

(5)

• Deleting completed transactions
• Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
• External Transaction Logic with Automatic Compensations
• scientific article; zbMATH DE number 2013598 (Why is no real title available?)
• Compensable transactions

This page was built for publication: Verifying Compensating Transactions

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