"CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006" - читать интересную книгу автора (Christel Baier, Holger Hermanns)