Verifying Commit-Atomicity Using Model-Checking

This publication has 20 references indexed in Scilit:

• Checking Concise Specifications for Multithreaded Software.
  The Journal of Object Technology, 2004
• Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking
  Published by Springer Nature ,2004
• Language support for lightweight transactions
  Published by Association for Computing Machinery (ACM) ,2003
• Types for atomicity
  Published by Association for Computing Machinery (ACM) ,2003
• Combining partial order reductions with on-the-fly model-checking
  Published by Springer Nature ,1994
• Linearizability: a correctness condition for concurrent objects
  ACM Transactions on Programming Languages and Systems, 1990
• A method for refining atomicity in parallel algorithms
  Published by Springer Nature ,1989
• Procedures as persistent data objects
  ACM Transactions on Programming Languages and Systems, 1985
• PS-algol
  ACM SIGPLAN Notices, 1982
• Reduction
  Communications of the ACM, 1975