Introduction to Concurrency Theory: Transition Systems and CCS

Book Name: Introduction to Concurrency Theory: Transition Systems and CCS
Author: Cristian Versari, Roberto Gorrieri
Publisher: Springer
ISBN-10: 331921490X
Year: 2015
Pages: 334
Language: English
File size: 3.58 MB
File format: PDF

Introduction to Concurrency Theory: Transition Systems and CCS Pdf Book Description:

This publication presents the essentials of concurrency concept with clarity and rigor. The authors start with the semantic construction, specifically labelled transition systems, which supplies us with the methods and the resources to express procedures, to write themand to establish properties they like. The remainder of the book depends upon Milner’s Calculus of Communicating Systems, tailored versions of that can be utilised to study different theories of equality between programs, and also to research in detail the expressive ability of these units considered.

The authors go from quite fundamental results to increasingly complicated issues, together with lots of examples and exercises which help reveal the various subtleties of this subject. The book is acceptable for advanced undergraduate and graduate students in computer engineering and science, and scientists participated with concepts of concurrency.