A formal model of atomicity in asynchronous systems

This publication has 11 references indexed in Scilit:

• Introduction to a system for distributed databases (SDD-1)
  ACM Transactions on Database Systems, 1980
• A dictionary of some basic notions of net theory
  Published by Springer Nature ,1980
• Consistency in Hierarchical Database Systems
  Journal of the ACM, 1980
• On-the-fly garbage collection
  Communications of the ACM, 1978
• Finding the correctness proof of a concurrent program
  Lecture Notes in Computer Science, 1978
• Reliable computing systems
  Published by Springer Nature ,1978
• Process structuring, synchronization, and recovery using atomic actions
  ACM SIGPLAN Notices, 1977
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976
• System structure for software fault tolerance
  IEEE Transactions on Software Engineering, 1975
• Theory of Graphs
  Published by American Mathematical Society (AMS) ,1962