Modelling Distributed Systems - Fokkink, Wan (Verfasser) (Texts in Theoretical Computer Science. An EATCS Series, 2007)