"CONCUR 2004 -- Concurrency Theory" - читать интересную книгу автора (Gardner P., Yoshida N.)