"Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001" - читать интересную книгу автора (Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee)