Distributed Computing: Models and Methods

This publication has 56 references indexed in Scilit:

• Distributed deadlock detection
  Distributed Computing, 1987
• On interprocess communication
  Distributed Computing, 1986
• Easy impossibility proofs for distributed consensus problems
  Distributed Computing, 1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
  ACM Transactions on Programming Languages and Systems, 1984
• The Byzantine generals strike again
  Journal of Algorithms, 1982
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976
• Concurrent control with “readers” and “writers”
  Communications of the ACM, 1971
• Marked directed graphs
  Journal of Computer and System Sciences, 1971
• The structure of the “THE”-multiprogramming system
  Communications of the ACM, 1968