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...

Full description

Bibliographic Details
Main Authors: Gorrieri, Roberto, Versari, Cristian (Author)
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