Modelling distributed systems - Fokkink, W. J., 1965- (Texts in theoretical computer science, 2007)