Theory and Practice in Distributed Systems: International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers (Paperback, 1995)

Architectural issues in the StormCast system.- Lessons learned from building and using the Arjuna distributed programming system.- A high performance totally ordered multicast protocol.- New applications for group computing.- Support for information sharing in CSCW based on causally and totally ordered group communication.- The design of the Transis system.- The Rampart toolkit for building high-integrity services.- Deriving optimal checkpoint protocols for distributed shared memory architectures.- Transaction model vs virtual synchrony model: bridging the gap.- Modelling darwin in the ?-calculus.- Towards open service environments.- Correctness proofs of distributed algorithms.- Deterministic fault injection of distributed systems.- A non-blocking lightweight implementation of causal order message delivery.- Merits of a probabilistic approach to properties in process group systems.- Sequential consistency in distributed systems.- Speedup limits for tightly-coupled parallel computations.