"Handbook of Process Algebra" - читать интересную книгу автора (J.A. Bergstra, A. Ponse, S.A. Smolka)