Dagstuhl Seminar Distributed Systems 1994

Kenneth P. Birman, Friedemann Mattern, André Schiper (Eds.): Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers. Lecture Notes in Computer Science 938 Springer 1995, ISBN 3-540-60042-6 BibTeX

@proceedings{DBLP:conf/dagstuhl/1994ds,
  editor    = {Kenneth P. Birman and
               Friedemann Mattern and
               Andr{\'e} Schiper},
  title     = {Theory and Practice in Distributed Systems, International Workshop,
               Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  booktitle = {Dagstuhl Seminar on Distributed Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {938},
  year      = {1995},
  isbn      = {3-540-60042-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Experimental Systems

Dag Johansen, Gunnar Hartvigsen: Architectural Issues in the StormCast System. 1-16 BibTeX
Santosh K. Shrivastava: Lessons Learned from Building and Using the Arjuna Distributed Programming System. 17-32 BibTeX

Group Communication

Brian Whetten, Todd Montgomery, Simon M. Kaplan: A High Performance Totally Ordered Multicast Protocol. 33-57 BibTeX
Robbert van Renesse, Kenneth P. Birman, Thorsten von Eicken, Keith Marzullo: New Applications for Group Computing. 58-63 BibTeX
Markus Kolland: Support for Information Sharing in CSCW Based on Causally and Totally Ordered Group Communication. 64-82 BibTeX
Danny Dolev, Dalia Malki: The Design of the Transis System. 83-98 BibTeX
Michael K. Reiter: The Rampart Toolkit for Building High-Integrity Services. 99-110 BibTeX

Fault-Tolerance Issues in Distributed Systems

Lorenzo Alvisi, Keith Marzullo: Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. 111-120 BibTeX
Rachid Guerraoui, André Schiper: Transaction Model vs. Virtual Synchrony Model: Bridging the Gap. 121-132 BibTeX

System Structuring and Structuring Tools

Jeff Magee, Susan Eisenbach, Jeff Kramer: Modelling Darwin in the Pi-Caculus. 133-152 BibTeX
Kurt Geihs, Brigitte Bär, Arno Puder: Towards Open Service Environments. 153-163 BibTeX

Correctness Issues

Wolfgang Reisig: Correctness Proofs of Distributed Algorithms. 164-177 BibTeX
Scott Dawson, Farnam Jahanian: Deterministic Fault Injection of Distributed Systems. 178-196 BibTeX

Consistency Issues and Ordering Algorithms

Friedemann Mattern, Stefan Fünfrocken: A Non-Blocking Lightweight Implementation of Causal Order Message Delivery. 197-213 BibTeX
Kenneth P. Birman: Merits of a Probabilistic Approach to Properties in Process Group Systems (Informal Position Paper). 214-223 BibTeX
Masaaki Mizuno, Michel Raynal, James Z. Zhou: Sequential Consistency in Distributed Systems. 224-241 BibTeX

Parallelism

Reinhard Schwarz: Speedup Limits for Tighly-Coupled Parallel Computations. 242-259 BibTeX