Introduction to Concurrency Theory Transition Systems and CCS
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of t...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2015, 2015
|
Edition: | 1st ed. 2015 |
Series: | Texts in Theoretical Computer Science. An EATCS Series
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Introduction
- Transition Systems and Behavioral Equivalences
- CCS: A Calculus of Communicating Systems
- Algebraic Laws, Congruences and Axiomatizations
- Additional Operators
- Multi-CCS
- Glossary
- References
- Index