Texts in Theoretical Computer Science. An EATCS Series

Introduction to Concurrency Theory

Transition Systems and CCS

Authors: Gorrieri, Roberto, Versari, Cristian

  • Authors among the leading scientists and educators in the field
  • Progresses gently from basic results to increasingly complex issues
  • Class-tested text, supported throughout with examples and exercises
see more benefits

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-319-21491-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $79.99
price for USA
  • ISBN 978-3-319-21490-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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 the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.

The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.

About the authors

Roberto Gorrieri is a professor of computer science of the University of Bologna. His interests include concurrency and the foundations of security analysis and design.

Cristian Versari is an assistant professor of computer science at the Laboratoire d'Informatique Fondamentale de Lille (LIFL). His interests include concurrent languages and the computational modelling of biological systems.

Reviews

“This book is an introduction to labelled transition systems and the calculus of communicating systems (CCS) due to Robin Milner. It has been used in a master's course on concurrent systems. There are numerous examples and exercises. … The book is very carefully written and covers a large amount of material at an introductory level, and a motivated student can use it for self-study.” (Kamal Lodaya, Mathematical Reviews, May, 2016)


Table of contents (6 chapters)

  • Introduction

    Gorrieri, Roberto (et al.)

    Pages 1-19

  • Transition Systems and Behavioral Equivalences

    Gorrieri, Roberto (et al.)

    Pages 21-79

  • CCS: A Calculus of Communicating Systems

    Gorrieri, Roberto (et al.)

    Pages 81-161

  • Algebraic Laws, Congruences and Axiomatizations

    Gorrieri, Roberto (et al.)

    Pages 163-204

  • Additional Operators

    Gorrieri, Roberto (et al.)

    Pages 205-257

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-319-21491-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $79.99
price for USA
  • ISBN 978-3-319-21490-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Introduction to Concurrency Theory
Book Subtitle
Transition Systems and CCS
Authors
Series Title
Texts in Theoretical Computer Science. An EATCS Series
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-21491-7
DOI
10.1007/978-3-319-21491-7
Hardcover ISBN
978-3-319-21490-0
Series ISSN
1862-4499
Edition Number
1
Number of Pages
XI, 334
Number of Illustrations and Tables
63 b/w illustrations
Topics