"Introduction to Concurrency Theory: Transition Systems and CCS" - читать интересную книгу автора (Roberto Gorrieri, Cristian Versari)