"CONCUR 2001 - Concurrency Theory, 12 conf" - читать интересную книгу автора (Kim G. Larsen, Mogens Nielsen)