"CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005" - читать интересную книгу автора (Martín Abadi, Luca de Alfaro)