Introduction to Concurrency Theory Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
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
Saved in: