Universität Bern Institut für Informatik und Angewandte Mathematik Communication and Distributed Systems Neubrückstrasse 10 CH-3012 Bern Switzerland