Modelling distributed systems - Fokkink Wan (Berlin Springer-Verlag, 2007)
Keywords: Distributed systems