Introduction to concurrency theory : transition systems and ccs / Roberto Gorrieri, Cristian Versari.
Tipo de material:
TextoSeries Texts in Theoretical Computer Science. An EATCS SeriesEditor: Cham : Springer International Publishing : Springer, 2015Edición: 1st ed. 2015Descripción: xi, 334 páginas : 63 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319214917
- QA75.5-76.95
Contenidos:
Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index.
No hay ítems correspondientes a este registro
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.