“...International Workshop on Theory and Practice in Distributed Systems Dagstuhl Castle, Německo)...”