Specifications of distributed programs

This publication has 14 references indexed in Scilit:

• Guardians and Actions: Linguistic Support for Robust, Distributed Programs
  ACM Transactions on Programming Languages and Systems, 1983
• Using semantic knowledge for transaction processing in a distributed database
  ACM Transactions on Database Systems, 1983
• Grapevine
  Communications of the ACM, 1982
• Sacrificing serializability to attain high availability of data in an unreliable network
  Published by Association for Computing Machinery (ACM) ,1982
• Concurrency Control in Distributed Database Systems
  ACM Computing Surveys, 1981
• Chapter 11. Atomic transactions
  Published by Springer Nature ,1981
• Weighted voting for replicated data
  Published by Association for Computing Machinery (ACM) ,1979
• Abstract data types and software validation
  Communications of the ACM, 1978
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976