Introduction to Concurrency Theory
-15%
portes grátis
Introduction to Concurrency Theory
Transition Systems and CCS
Versari, Cristian; Gorrieri, Roberto
Springer International Publishing AG
10/2016
334
Mole
Inglês
9783319366388
15 a 20 dias
534
Descrição não disponível.
Introduction.- Transition Systems and Behavioral Equivalences.- CCS: A Calculus of Communicating Systems.- Algebraic Laws, Congruences and Axiomatizations.- Additional Operators.- Multi-CCS.- Glossary.- References.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Calculus of Communicating Systems (CCS);Concurrency;Process Algebra;Reactive Systems;Transition Systems;Verification
Introduction.- Transition Systems and Behavioral Equivalences.- CCS: A Calculus of Communicating Systems.- Algebraic Laws, Congruences and Axiomatizations.- Additional Operators.- Multi-CCS.- Glossary.- References.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
