"Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science)" - читать интересную книгу автора (M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B....)