Causal Atomicity

This publication has 19 references indexed in Scilit:

• Verifying Concurrent Message-Passing C Programs with Recursive Calls
  Published by Springer Nature ,2006
• Exploiting purity for atomicity
  IEEE Transactions on Software Engineering, 2005
• Atomizer
  Published by Association for Computing Machinery (ACM) ,2004
• Verifying Commit-Atomicity Using Model-Checking
  Published by Springer Nature ,2004
• Types for atomicity
  Published by Association for Computing Machinery (ACM) ,2003
• Model-Checking of Correctness Conditions for Concurrent Objects
  Information and Computation, 2000
• An improvement of McMillan's unfolding algorithm
  Published by Springer Nature ,1996
• The Book Of Traces
  Published by World Scientific Pub Co Pte Ltd ,1995
• On serializability of iterated transactions
  Published by Association for Computing Machinery (ACM) ,1982
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976