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
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783319214900: Introduction to Concurrency Theory: Transition Systems and Ccs

Edition présentée

ISBN 10 :  331921490X ISBN 13 :  9783319214900
Editeur : Springer International Publishin..., 2015
Couverture rigide