Theory and Practice in Distributed Systems International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers | EKB DL