PakCat catalogue record Modelling distributed systems By Fokkink, Wan Bibliographic details PublisherSpringer Publication placeNew Delhi