Theory and practice in distributed systems international workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994 ; selected papers (Springer, 1995)