Dagstuhl Seminar on Distributed Systems

Keyphrases

Publications

volume 938, 1995

Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers Dagstuhl Seminar on Distributed Systems 938 (1995)

1994

Masaaki Mizuno, Michel Raynal, James Z. Zhou
Sequential Consistency in Distributed Systems. Dagstuhl Seminar on Distributed Systems (1994)
Wolfgang Reisig
Correctness Proofs of Distributed Algorithms. Dagstuhl Seminar on Distributed Systems (1994)
Kenneth P. Birman
Merits of a Probabilistic Approach to Properties in Process Group Systems (Informal Position Paper). Dagstuhl Seminar on Distributed Systems (1994)
Michael K. Reiter
The Rampart Toolkit for Building High-Integrity Services. Dagstuhl Seminar on Distributed Systems (1994)
Jeff Magee, Susan Eisenbach, Jeff Kramer
Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems (1994)
Rachid Guerraoui, André Schiper
Transaction Model vs. Virtual Synchrony Model: Bridging the Gap. Dagstuhl Seminar on Distributed Systems (1994)
Markus Kolland
Support for Information Sharing in CSCW Based on Causally and Totally Ordered Group Communication. Dagstuhl Seminar on Distributed Systems (1994)
Santosh K. Shrivastava
Lessons Learned from Building and Using the Arjuna Distributed Programming System. Dagstuhl Seminar on Distributed Systems (1994)
Friedemann Mattern, Stefan Fünfrocken
A Non-Blocking Lightweight Implementation of Causal Order Message Delivery. Dagstuhl Seminar on Distributed Systems (1994)
Robbert van Renesse, Kenneth P. Birman, Thorsten von Eicken, Keith Marzullo
New Applications for Group Computing. Dagstuhl Seminar on Distributed Systems (1994)
Lorenzo Alvisi, Keith Marzullo
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. Dagstuhl Seminar on Distributed Systems (1994)
Kurt Geihs, Brigitte Bär, Arno Puder
Towards Open Service Environments. Dagstuhl Seminar on Distributed Systems (1994)
Reinhard Schwarz
Speedup Limits for Tighly-Coupled Parallel Computations. Dagstuhl Seminar on Distributed Systems (1994)
Danny Dolev, Dalia Malki
The Design of the Transis System. Dagstuhl Seminar on Distributed Systems (1994)
Scott Dawson, Farnam Jahanian
Deterministic Fault Injection of Distributed Systems. Dagstuhl Seminar on Distributed Systems (1994)
Dag Johansen, Gunnar Hartvigsen
Architectural Issues in the StormCast System. Dagstuhl Seminar on Distributed Systems (1994)
Brian Whetten, Todd Montgomery, Simon M. Kaplan
A High Performance Totally Ordered Multicast Protocol. Dagstuhl Seminar on Distributed Systems (1994)