Correctness Proofs of Distributed Termination Algorithms

This publication has 7 references indexed in Scilit:

• Termination detection for distributed computations
  Information Processing Letters, 1984
• Derivation of a termination detection algorithm for distributed computations
  Information Processing Letters, 1983
• Ten years of Hoare's logic: A survey— part II: Nondeterminism
  Theoretical Computer Science, 1983
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• Distributed Termination
  ACM Transactions on Programming Languages and Systems, 1980
• Communicating sequential processes
  Communications of the ACM, 1978