Introduction to Concurrency Theory

Introduction to Concurrency Theory

Transition Systems and CCS

Gorrieri, Roberto; Versari, Cristian

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.
Calculus of Communicating Systems (CCS);Concurrency;Process Algebra;Reactive Systems;Transition Systems;Verification