"Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE ... Programming and Software Engineering)" - читать интересную книгу автора (David Lee, Antonia Lopes, Arnd Poetzsch-Heffter)