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