"Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... Programming and Software Engineering)" - читать интересную книгу автора (John Hatcliff, Elena Zucca)