Introduction to concurrency theory :
Gorrieri, Roberto,
Introduction to concurrency theory : transition systems and ccs / Roberto Gorrieri, Cristian Versari. - 1st ed. 2015. - xi, 334 páginas : 63 ilustraciones - Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 .
Springer eBooks
Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index.
9783319214917
QA75.5-76.95
Introduction to concurrency theory : transition systems and ccs / Roberto Gorrieri, Cristian Versari. - 1st ed. 2015. - xi, 334 páginas : 63 ilustraciones - Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 .
Springer eBooks
Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index.
9783319214917
QA75.5-76.95