Articles liés à Introduction to Concurrency Theory: Transition Systems...

Introduction to Concurrency Theory: Transition Systems and CCS - Couverture souple

Livre 38 sur 44: Texts in Theoretical Computer Science. An EATCS

Gorrieri, Roberto; Versari, Cristian

 
9783319214924: Introduction to Concurrency Theory: Transition Systems and CCS
Couverture souple
ISBN 10 : 3319214926 ISBN 13 : 9783319214924
Editeur : Springer, 2015

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Introduction.- Transition Systems and Behavioral Equivalences.- CCS: A Calculus of Communicating Systems.- Algebraic Laws, Congruences and Axiomatizations.- Additional Operators.- Multi-CCS.- Glossary.- References.- Index.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2015
Langue
anglais
ISBN 10 
3319214926
ISBN 13 
9783319214924
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible