Advertisement

A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication

  • Ten-Hwang Lai
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 226)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chandy, K. M. and Lamport, L. “Distributed snapshots: determining global states of distributed systems”. ACM Trans. Comp. Syst. 3, 1 (1985), 63–75.Google Scholar
  2. 2.
    Chandy, K. M. and Misra, J. “How processes learn”. Distributed Computing 1, 1 (1986). (Extended abstract available in Proc. Fourth Annual ACM Symp. on Principles of Distributed Computing, pp. 204–214, 1985.).Google Scholar
  3. 3.
    Cohen, S. and Lehmann, D. Dynamic systems and their distributed termination. Proc. First Annual ACM Symp. on Principles of Distributed Computing, Ottawa, August, 1982, pp. 29–33.Google Scholar
  4. 4.
    Dijkstra, E.W., Scholoten, C.S. “Termination detection for diffusing computations”. Inform. Processing Lett. 11 (1980), 1–4.Google Scholar
  5. 5.
    Dijkstra, E.W., Feijen, W.H.J., and van Gasteren, A.J.M. “Derivation of a termination detection algorithm for distributed computations”. Inform. Processing Lett. 16 (1983), 217–219.Google Scholar
  6. 6.
    Filman, R. and Friedman, D.. Coordinated Computing. McGraw-Hill Book Co., New York, 1984.Google Scholar
  7. 7.
    Francez, N. and Rodeh, M. “Distributed termination”. ACM Trans. Program. Lang. Syst. 2, 1 (1980), 42–55.Google Scholar
  8. 8.
    Francez, N., Rodeh, M., and Sintzoff, M. Distributed termination with interval assertions. Proc. Intl. Colloq. Formalization of Programming Concepts, Peniscola, Spain, April, 1981, pp. 280–291. Lecture Notes in Computer Science, Vol. 107, Springer-Verlag, 1981.Google Scholar
  9. 9.
    Francez, N. and Rodeh, M. “Achieving distributed termination without freezing”. IEEE Trans. Software Engineering SE-8, 3 (1982), 287–292.Google Scholar
  10. 10.
    Lai, T. H. Termination detection for dynamic distributed systems with non-first-in-first-out communication. Dept. of Computer and Information, Ohio State Univ., Columbus, Ohio, 1985.Google Scholar
  11. 11.
    Lozinskii, E. A remark on distributed termination. Proc. Fifth Intl. Conf. on Distributed Computing Systems, Denver, 1985, pp. 416–419.Google Scholar
  12. 12.
    Misra, J. and Chandy, K. M. “Termination Detection of diffusing computations in communicating sequential processes”. ACM Trans. Program. Lang. Syst. 4, 1 (1982), 37–43.Google Scholar
  13. 13.
    Misra, J. Detecting termination of distributed computations using markers. Proc. Second Annual ACM Symp. on Principles of Distributed Computing, Montreal, August, 1983, pp. 290–294.Google Scholar
  14. 14.
    Szymanski, B., Shi, Y., and Prywes, N. Terminating iterative solution of simultaneous equations in distributed message passing systems. Proc. Fourth Annual ACM Symp. on Principles of Distributed Computing, Minaki, Ontario, August, 1985, pp. 287–292.Google Scholar
  15. 15.
    Topor, R. “Termination detection for distributed computations”. Inform. Processing Lett. 18 (1984), 33–36.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Ten-Hwang Lai
    • 1
  1. 1.Department of Computer and Information ScienceThe Ohio State UniversityColumbusUSA

Personalised recommendations