Repeated synchronous snapshots and their implementation in CSP

This publication has 10 references indexed in Scilit:

• Global and logical time in distributed algorithms
  Information Processing Letters, 1985
• Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairness
  Lecture Notes in Computer Science, 1984
• A distributed solution of the distributed termination problem
  Information Processing Letters, 1983
• Derivation of a termination detection algorithm for distributed computations
  Information Processing Letters, 1983
• Achieving Distributed Termination without Freezing
  IEEE Transactions on Software Engineering, 1982
• Termination Detection of Diffusing Computations in Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1982
• Termination detection for diffusing computations
  Information Processing Letters, 1980
• Distributed Termination
  ACM Transactions on Programming Languages and Systems, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978