A Semantic Framework for Designer Transactions

This publication has 11 references indexed in Scilit:

• An Equational Theory for Transactions
  Published by Springer Nature ,2003
• High-performance, space-efficient, automated object locking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Orchestrating Transactions in Join Calculus*
  Published by Springer Nature ,2002
• On the Serializability of Transactions in JavaSpaces
  Electronic Notes in Theoretical Computer Science, 2001
• Featherweight Java
  ACM Transactions on Programming Languages and Systems, 2001
• Implementation of automated fine-granularity locking in a persistent programming language
  Software: Practice and Experience, 2000
• Composing first-class transactions
  ACM Transactions on Programming Languages and Systems, 1994
• Synthesis of extended transaction models using ACTA
  ACM Transactions on Database Systems, 1994
• Inheritance of synchronization and recovery properties in Avalon/C++
  Computer, 1988
• Guardians and Actions: Linguistic Support for Robust, Distributed Programs
  ACM Transactions on Programming Languages and Systems, 1983