"CONCUR '91, Concurrency Theory, 2 conf" - читать интересную книгу автора (Jos C.M. Baeten, Jan F. Groote)