Modelling Distributed Systems A. Yonezawat and C. Hewitt