Theory and Practice in Distributed Systems International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers Birman Kenneth P. Heftet / 1995 / Engelsk