Introduction to Concurrency Theory is popular PDF and ePub book, written by Roberto Gorrieri in 2015-09-02, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Introduction to Concurrency Theory can be Read Online from any device for your convenience.
Introduction to Concurrency Theory Book PDF Summary
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.
Detail Book of Introduction to Concurrency Theory PDF
- Author : Roberto Gorrieri
- Release : 02 September 2015
- Publisher : Springer
- ISBN : 9783319214917
- Genre : Computers
- Total Page : 341 pages
- Language : English
- PDF File Size : 7,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Introduction to Concurrency Theory by Roberto Gorrieri, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.