Verifying Compensating Transactions

DOI10.1007/978-3-540-69738-1_2zbMATH Open1132.68468OpenAlexW1550733629MaRDI QIDQ5452593

Rupak Majumdar, Michael Emmi

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)

Related Items (2)

Deleting completed transactions ⋮ External Transaction Logic with Automatic Compensations

This page was built for publication: Verifying Compensating Transactions