Theory and practice in distributed systems : International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers - Birman, Kenneth P., 1955-; Schiper, André, 1949- (Lecture notes in computer science ;, 1995)