"CONCUR 2011 -- Concurrency Theory " - читать интересную книгу автора (Joost-Pieter Katoen, Barbara König)