Development of a Class of Distributed Termination Detection Algorithms.

@article{DBLP:journals/tkde/Kumar92,
  author    = {Devendra Kumar},
  title     = {Development of a Class of Distributed Termination Detection Algorithms},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {4},
  number    = {2},
  year      = {1992},
  pages     = {145-155},
  ee        = {db/journals/tkde/Kumar92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1992 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

R. K. Arora, N. K. Sharma: A methodology to solve distributed termination problem - A short note. Inf. Syst. 8(1): 37-39(1983) BibTeX

[2]

R. K. Arora, S. P. Rana, M. N. Gupta: Distributed Termination Detection Algorithm for Distributed Computations. Inf. Process. Lett. 22(6): 311-314(1986) BibTeX

[3]

K. Mani Chandy, Jayadev Misra: Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206(1981) BibTeX

[4]

K. Mani Chandy, Jayadev Misra: Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837(1982) BibTeX

[5]

...

[6]

K. Mani Chandy, Leslie Lamport: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst. 3(1): 63-75(1985) BibTeX

[7]

...

[8]

Ernest J. H. Chang: Echo Algorithms: Depth Parallel Operations on General Graphs. IEEE Trans. Software Eng. 8(4): 391-401(1982) BibTeX

[9]

Shimon Cohen, Daniel J. Lehmann: Dynamic Systems and Their Distributed Termination. PODC 1982: 29-33 BibTeX

[10]

Edsger W. Dijkstra, Carel S. Scholten: Termination Detection for Diffusing Computations. Inf. Process. Lett. 11(1): 1-4(1980) BibTeX

[11]

...

[12]

Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren: Derivation of a Termination Detection Algorithm for Distributed Computations. Inf. Process. Lett. 16(5): 217-219(1983) BibTeX

[13]

...

[14]

Nissim Francez: Distributed Termination. ACM Trans. Program. Lang. Syst. 2(1): 42-55(1980) BibTeX

[15]

...

[16]

Nissim Francez, Michael Rodeh: Achieving Distributed Termination without Freezing. IEEE Trans. Software Eng. 8(3): 287-292(1982) BibTeX

[17]

Virgil D. Gligor, Susan H. Shattuck: On Deadlock Detection in Distributed Systems. IEEE Trans. Software Eng. 6(5): 435-440(1980) BibTeX

[18]

...

[19]

C. A. R. Hoare: Communicating Sequential Processes. Commun. ACM 21(8): 666-677(1978) BibTeX

[20]

S.-T. Huang: A Fully Distributed Termination Detection Scheme. Inf. Process. Lett. 29(1): 13-18(1988) BibTeX

[21]

Shmuel Katz, Oded Shmueli: Cooperative Distributed Algorithms for Dynamic Cycle Prevention. IEEE Trans. Software Eng. 13(5): 540-552(1987) BibTeX

[22]

Devendra Kumar: A Class of Termination Detection Algorithms For Distributed Computation. FSTTCS 1985: 73-100 BibTeX

[23]

...

[24]

...

[25]

...

[26]

Leslie Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7): 558-565(1978) BibTeX

[27]

Friedemann Mattern: Algorithms for Distributed Termination Detection. Distributed Computing 2(3): 161-175(1987) BibTeX

[28]

Jayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426(1981) BibTeX

[29]

Jayadev Misra, K. Mani Chandy: Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43(1982) BibTeX

[30]

Jayadev Misra, K. Mani Chandy: A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686(1982) BibTeX

[31]

Jayadev Misra: Detecting Termination of Distributed Computations Using Markers. PODC 1983: 290-294 BibTeX

[32]

Ron Obermarck: Distributed Deadlock Detection Algorithm. ACM Trans. Database Syst. 7(2): 187-208(1982) BibTeX

[33]

Susan S. Owicki, David Gries: An Axiomatic Proof Technique for Parallel Programs I. Acta Inf. 6: 319-340(1976) BibTeX

[34]

S. P. Rana: A Distributed Solution of the Distributed Termination Problem. Inf. Process. Lett. 17(1): 43-46(1983) BibTeX

[35]

Gerard Tel, Richard B. Tan, Jan van Leeuwen: The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols. Sci. Comput. Program. 10(1): 107-137(1988) BibTeX

[36]

Rodney W. Topor: Termination Detection for Distributed Computations. Inf. Process. Lett. 18(1): 33-36(1984) BibTeX