Gorrieri R., Versari C. - Introduction to Concurrency Theory Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) - 2015.pdf
Gorrieri R., Versari C. - Introduction to Concurrency Theory Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) - 2015.pdf- 3.5 MB