Gorrieri, Roberto, <br/><br/>
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 .
<br/><br/> Springer eBooks 
<br/><br/>Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index. 
<br/><br/><label>ISBN: </label>9783319214917 
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95