"Formal Techniques for Networked and Distributed Systems - FORTE 2002" - читать интересную книгу автора (Doron A. Peled, Moshe Y. Vardi)