A Paradigm for Detecting Quiescent Properties in Distributed Computations

This publication has 18 references indexed in Scilit:

• Distributed deadlock detection
  ACM Transactions on Computer Systems, 1983
• Distributed computation on graphs
  Communications of the ACM, 1982
• Echo Algorithms: Depth Parallel Operations on General Graphs
  IEEE Transactions on Software Engineering, 1982
• Asynchronous distributed simulation via a sequence of parallel computations
  Communications of the ACM, 1981
• Distributed termination with interval assertions
  Lecture Notes in Computer Science, 1981
• On Deadlock Detection in Distributed Systems
  IEEE Transactions on Software Engineering, 1980
• Distributed Termination
  ACM Transactions on Programming Languages and Systems, 1980
• Locking and Deadlock Detection in Distributed Data Bases
  IEEE Transactions on Software Engineering, 1979
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• Some Deadlock Properties of Computer Systems
  ACM Computing Surveys, 1972