Distributed Termination

  title={Distributed Termination},
  author={N. Francez},
  journal={ACM Trans. Program. Lang. Syst.},
  • N. Francez
  • Published 1980
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • Discussed is a distributed system based on communication among disjoint processes, where each process is capable of achieving a post-condition of its local space in such a way that the conjunction of local post-conditions implies a global post-condition of the whole system. The system is then augmented with extra control communication in order to achieve distributed termination, without adding new channels of communication. The algorithm is applied to a problem of constructing a sorted… CONTINUE READING
    259 Citations
    Synchronized Distributed Termination
    • 40
    A Distributed Solution of the Distributed Termination Problem
    • S. Rana
    • Computer Science
    • Inf. Process. Lett.
    • 1983
    • 107
    • PDF
    Distributed Termination Detection for Dynamic Systems
    • 19
    • PDF
    A General Model for Distributed Termination Detection in Dynamic System for Non-Diffusing Computation
    • Highly Influenced
    • PDF
    Solutions for the Distributed Termination Problem
    • 2
    Dynamic systems and their distributed termination
    • 42
    • Highly Influenced
    A family of optimal termination detection algorithms
    • 14
    • PDF
    A general model for detecting distributed termination in dynamic systems
    • Xinli Wang, J. Mayo
    • Computer Science
    • 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.
    • 2004
    • 21
    An efficient distributed termination