Algorithms for distributed termination detection

This publication has 30 references indexed in Scilit:

• Repeated synchronous snapshots and their implementation in CSP
  Published by Springer Nature ,2005
• An example of stepwise refinement of distributed programs: quiescence detection
  ACM Transactions on Programming Languages and Systems, 1986
• Correctness proofs of distributed termination algorithms
  ACM Transactions on Programming Languages and Systems, 1986
• Real Time Clocks Versus Virtual Clocks
  Published by Springer Nature ,1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• A Paradigm for Detecting Quiescent Properties in Distributed Computations
  Published by Springer Nature ,1985
• A methodology to solve distributed termination problem: A short note
  Information Systems, 1983
• Distributed deadlock detection
  ACM Transactions on Computer Systems, 1983
• Echo Algorithms: Depth Parallel Operations on General Graphs
  IEEE Transactions on Software Engineering, 1982
• Dynamic systems and their distributed termination
  Published by Association for Computing Machinery (ACM) ,1982