Efficient detection of a class of stable properties

This publication has 12 references indexed in Scilit:

• Lightweight causal and atomic group multicast
  ACM Transactions on Computer Systems, 1991
• Algorithms for distributed termination detection
  Distributed Computing, 1987
• An example of stepwise refinement of distributed programs: quiescence detection
  ACM Transactions on Programming Languages and Systems, 1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• A distributed algorithm for generalized deadlock detection
  Published by Association for Computing Machinery (ACM) ,1984
• Distributed deadlock detection
  ACM Transactions on Computer Systems, 1983
• Detecting termination of distributed computations using markers
  Published by Association for Computing Machinery (ACM) ,1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Termination detection for diffusing computations
  Information Processing Letters, 1980
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978