"Formal Techniques for Distributed Systems - FORTE 2011 " - читать интересную книгу автора (Roberto Bruni, Juergen Dingel)