Skip to main content
  • Conference proceedings
  • © 1995

Theory and Practice in Distributed Systems

International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers

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

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (17 papers)

  1. Front Matter

  2. Architectural issues in the StormCast system

    • Dag Johansen, Gunnar Hartvigsen
    Pages 1-16
  3. A high performance totally ordered multicast protocol

    • Brian Whetten, Todd Montgomery, Simon Kaplan
    Pages 33-57
  4. New applications for group computing

    • Robbert van Renesse, Ken Birman, Thorsten von Eicken, Keith Marzullo
    Pages 58-63
  5. The design of the Transis system

    • Danny Dolev, Dalia Malki
    Pages 83-98
  6. Transaction model vs virtual synchrony model: bridging the gap

    • Rachid Guerraoui, André Schiper
    Pages 121-132
  7. Modelling darwin in the π-calculus

    • Jeff Magee, Susan Eisenbach, Jeff Kramer
    Pages 133-152
  8. Towards open service environments

    • Kurt Geihs, Brigitte Bär, Arno Puder
    Pages 153-163
  9. Deterministic fault injection of distributed systems

    • Scott Dawson, Farnam Jahanian
    Pages 178-196
  10. A non-blocking lightweight implementation of causal order message delivery

    • Friedemann Mattern, Stefan Fünfrocken
    Pages 197-213
  11. Sequential consistency in distributed systems

    • Masaaki Mizuno, Michel Raynal, James Z. Zhou
    Pages 224-241
  12. Back Matter

About this book

This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994.
During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds. The volume contains 17 full papers refereed and revised after the workshop so that they reflect original research enriched by insights gained through discussions at the workshop. Among the issues treated are paradigms and concepts, fundamental algorithms and principles, fault-tolerance, real-time, system structures, large case aspects and others.

Bibliographic Information

  • Book Title: Theory and Practice in Distributed Systems

  • Book Subtitle: International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers

  • Editors: Kenneth P. Birman, Friedemann Mattern, André Schiper

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-60042-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1995

  • Softcover ISBN: 978-3-540-60042-8Published: 14 July 1995

  • eBook ISBN: 978-3-540-49409-6Published: 01 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 268

  • Topics: Computer Communication Networks, Theory of Computation, Operating Systems

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access