Theory and Practice in Distributed Systems: International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers (Lecture Notes in Computer Science, 938)