ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Development of a Class of Distributed Termination Detection Algorithms.

Devendra Kumar: Development of a Class of Distributed Termination Detection Algorithms. IEEE Trans. Knowl. Data Eng. 4(2): 145-155(1992)
@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}
}
BibTeX

Abstract

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


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:28 2009