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.

DMCA Disclaimer: This site complies with DMCA Digital Copyright Laws. Please bear in mind that we do not own copyrights to these books. We’re sharing this material with our audience ONLY for educational purpose. We highly encourage our visitors to purchase original books from the respected publishers. If someone with copyrights wants us to remove this content, please contact us immediately. All books on the are free and NOT HOSTED ON OUR WEBSITE. If you feel that we have violated your copyrights, then please contact us immediately (click here).

Add a Comment

Your email address will not be published. Required fields are marked *