Articoli correlati a Introduction to Concurrency Theory: Transition Systems...

Introduction to Concurrency Theory: Transition Systems and CCS - Brossura

Libro 38 di 44: Texts in Theoretical Computer Science. An EATCS

Gorrieri, Roberto; Versari, Cristian

 
9783319214924: Introduction to Concurrency Theory: Transition Systems and CCS
Brossura
ISBN 10: 3319214926 ISBN 13: 9783319214924
Casa editrice: Springer, 2015

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319214926
ISBN 13 
9783319214924
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile