An Equational Theory for Transactions

This publication has 8 references indexed in Scilit:

• Decomposing and recomposing transactional concepts
  Published by Springer Nature ,2005
• An Equational Theory for Transactions
  Published by Springer Nature ,2003
• Understanding transactions in the operating system context
  ACM SIGOPS Operating Systems Review, 1991
• ACTA: a framework for specifying and reasoning about transaction structure and behavior
  Published by Association for Computing Machinery (ACM) ,1990
• Inheritance of synchronization and recovery properties in Avalon/C++
  Computer, 1988
• Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems
  Published by Springer Nature ,1988
• Support for Distributed Transactions in the TABS Prototype
  IEEE Transactions on Software Engineering, 1985
• Process structuring, synchronization, and recovery using atomic actions
  ACM SIGPLAN Notices, 1977