"Formal Techniques for Distributed Systems, 11 conf., FMOODS 2009, FORTE 2009" - читать интересную книгу автора (David Lee, Antonia Lopes, Arnd Poetzsch-Heffter)