A taxonomy of distributed termination detection algorithms

[1]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  Edsger W. Dijkstra,et al.  Termination Detection for Diffusing Computations , 1980, Inf. Process. Lett..

[4]  Nissim Francez,et al.  Distributed Termination , 1980, TOPL.

[5]  Michael Rodeh,et al.  Distributed Termination with Interval Assertions , 1981, ICFPC.

[6]  Michael Rodeh,et al.  Achieving Distributed Termination without Freezing , 1982, IEEE Transactions on Software Engineering.

[7]  Daniel Lehmann,et al.  Dynamic systems and their distributed termination , 1982, PODC '82.

[8]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[9]  K. Mani Chandy,et al.  Termination Detection of Diffusing Computations in Communicating Sequential Processes , 1982, TOPL.

[10]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[11]  N. K. Sharma,et al.  A methodology to solve distributed termination problem - A short note , 1983, Inf. Syst..

[12]  A. J. M. van Gasteren,et al.  Derivation of a Termination Detection Algorithm for Distributed Computations , 1983, Inf. Process. Lett..

[13]  Jayadev Misra,et al.  Detecting termination of distributed computations using markers , 1983, PODC '83.

[14]  S. P. Rana,et al.  A Distributed Solution of the Distributed Termination Problem , 1983, Inf. Process. Lett..

[15]  Rodney W. Topor,et al.  Termination Detection for Distributed Computations , 1984, Inf. Process. Lett..

[16]  Jayadev Misra,et al.  A Paradigm for Detecting Quiescent Properties in Distributed Computations , 1989, Logics and Models of Concurrent Systems.

[17]  K. Mani Chandy,et al.  How processes learn , 1985, PODC '85.

[18]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[19]  Boleslaw K. Szymanski,et al.  Terminating iterative solution of simultaneous equations in distributed message passing systems , 1985, PODC '85.

[20]  Boleslaw K. Szymanski,et al.  Synchronized Distributed Termination , 1985, IEEE Transactions on Software Engineering.

[21]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[22]  Sven Skyum,et al.  Symmetric Distributed Termination , 1985 .

[23]  Devendra Kumar,et al.  A Class of Termination Detection Algorithms For Distributed Computation , 1985, FSTTCS.

[24]  K. Mani Chandy,et al.  An example of stepwise refinement of distributed programs: quiescence detection , 1986, TOPL.

[25]  Ten-Hwang Lai,et al.  Termination Detection for Dynamically Distributed Systems with Non-first-in-first-out Communication , 1986, J. Parallel Distributed Comput..

[26]  Nir Shavit,et al.  A New Approach to Detection of Locally Indicative Stability , 1986, ICALP.

[27]  Friedemann Mattern,et al.  Experience with a New Distributed Termination Detection Algorithm , 1987, WDAG.

[28]  Grzegorz Rozenberg,et al.  Concurrency and Nets: Advances in Petri Nets , 1987 .

[29]  Hussein Zedan,et al.  A Distributed Algorithm for Distributed Termination , 1987, Inf. Process. Lett..

[30]  Horst Müller.  High level Petri nets and distributed termination , 1987 .

[31]  Sam Toueg,et al.  Effects of Message Loss on the Termination of Distributed Protocols , 1988, Inf. Process. Lett..

[32]  Shing-Tsaan Huang,et al.  A Fully Distributed Termination Detection Scheme , 1988, Inf. Process. Lett..

[33]  D. K. Subramanian,et al.  Ring Based Termination Detection Algorithm for Distributed Computations , 1988, Inf. Process. Lett..

[34]  Hiroshi Nakashima,et al.  An Efficient Termination Detection and Abortion Algorithm for Distributed Processing Systems , 1988, ICPP.

[35]  Shing-Tsaan Huang,et al.  Detecting termination of distributed computations by external agents , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

[36]  Subbarayan Venkatesan,et al.  Reliable protocols for distributed termination detection , 1989 .

[37]  Friedemann Mattern,et al.  Global Quiescence Detection Based on Credit Distribution and Recovery , 1989, Inf. Process. Lett..

[38]  Subbarayan Venkatesan,et al.  A Message-Optimal Algorithm for Distributed Termination Detection , 1990, J. Parallel Distributed Comput..

[39]  Yu-Chee Tseng,et al.  A more efficient message-optimal algorithm for distributed termination detection , 1992, Proceedings Sixth International Parallel Processing Symposium.

[40]  Ten-Hwang Lai,et al.  An (N-1)-resilient algorithm for distributed termination detection , 1992, [1992] Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing.

[41]  Jean Mayo,et al.  Distributed Termination Detection with Roughly Synchronized Clocks , 1994, Inf. Process. Lett..

[42]  Yu-Chee Tseng,et al.  Detecting Termination by Weight-Throwing in a Faulty Distributed System , 1995, J. Parallel Distributed Comput..

[43]  Valmir Carneiro Barbosa,et al.  An introduction to distributed algorithms , 1996 .