Observing global states of asynchronous distributed applications

This publication has 9 references indexed in Scilit:

• Parallel Program Design
  Published by Springer Nature ,1989
• On distributed snapshots
  Information Processing Letters, 1987
• Detection of stable properties in distributed applications
  Published by Association for Computing Machinery (ACM) ,1987
• An example of stepwise refinement of distributed programs: quiescence detection
  ACM Transactions on Programming Languages and Systems, 1986
• Global and logical time in distributed algorithms
  Information Processing Letters, 1985
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Paradigms for distributed programs
  Lecture Notes in Computer Science, 1985
• Global States of a Distributed System
  IEEE Transactions on Software Engineering, 1982
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978