Skip to main content
SpringerLink
Log in

Top-down considerations on distributed computing

  • Keynote Lectures
  • Conference paper
  • First Online:
Distributed Computing (DISC 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1499))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chou, C., Gafni, E.: Understanding and verifying distributed algorithms using stratified decomposition. Proc. 7th ACM PODC (1988) 44–65

    Google Scholar 

  2. Gallager, R., Humblet, P., Spira, P.: A distributed algorithm for minimum-weight spanning trees. ACM Trans. on Prog. Lang. and Syst., 5(1) (1983) 66–77

    Article  MATH  Google Scholar 

  3. Elrad, T., Francez, N.: Decomposition of distributed programs into communication-closed layers. Sci. Comp. Prog., 2(3) (1982) 155–173

    Article  MATH  Google Scholar 

  4. Havelund, K., Larsen, K.G.: The fork calculus. Proc. 20th ICALP, LNCS 700 (1993) 544–557

    Google Scholar 

  5. Koo, R., Toueg, S.: Effects of message loss on termination of distributed protocols. Inf. Proc, Letters, 27 (1988) 181–188

    Article  MathSciNet  Google Scholar 

  6. Stomp, F., de Roever, W.P.: A principle for sequential reasoning about distributed systems. Form. Asp. Comp., 6(6) (1994) 716–737

    MATH  Google Scholar 

  7. Zweirs, J., Janssen, W.: Partial-order based design of concurrent systems. Proc. REX Symp. “A decade of concurrency”, J. de Bakker, W. P. de Roever, G. Rozenberg eds., LNCS 803 (1994) 622–684

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Technology Sydney, P.O.Box 123, 2007, Broadway, NSW, Australia

    Ron van der Meyden

  2. Faculty of Electrical Engineering, The Technion, 3200, Haifa, Israel

    Yoram Moses

Authors
  1. Ron van der Meyden
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yoram Moses
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Shay Kutten

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Meyden, R., Moses, Y. (1998). Top-down considerations on distributed computing. In: Kutten, S. (eds) Distributed Computing. DISC 1998. Lecture Notes in Computer Science, vol 1499. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0056469

Download citation

  • DOI: https://doi.org/10.1007/BFb0056469

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65066-9

  • Online ISBN: 978-3-540-49693-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation