Copied Introduction to Concurrency Theory
Introduction to Concurrency Theory
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Das sozialdemokratische Modell
$59.99
Selected Systems from Al-Si-Ti to Ni-Si-Ti
$549.99
Green Circular Economy
$119.00
Epistemic Pluralism
$129.99
Exchange and Transport of Air Pollutants over Complex Terrain and the Sea
$169.99
EAI 3rd International Conference on Smart Technologies and Innovation Management
$249.99
Axiomatic, Enriched and Motivic Homotopy Theory
$249.99
The Category of Religion in Contemporary Japan
$109.99
Strabismus A Neurodevelopmental Approach
$84.99
Memory, Anniversaries and Mental Health in International Historical Perspective
$89.00
Rntgen-Therapie (Oberflchen- und Tiefenbestrahlung)
$59.99
Organisation und Zivilgesellschaft
$49.99
The Movement: The Movement: 1955
$8.99
Silicate Melts
$39.99
Reassessing Riemann's Paper
$54.99
Safety in Cell and Tissue Culture
$84.99
Los fantasmas no llaman a la puerta
$5.21
How You Got So Smart
$4.46
London in Early Modern English Drama
$54.99
Die Grundzge des Eisenbetonbaues
$59.99
Fnfachsiges NC-Umfangsfrsen verwundener Regelflchen
$59.99
Java in the 14th Century
$54.99
Kimberlites, Orangeites, and Related Rocks
$39.99
Controlling in telekooperativen Strukturen
$59.99
Frontier Technologies in Bovine Reproduction
$219.99
Die Russland-Kontroverse
$19.99
Resilience, Entrepreneurship and ICT
$139.00
Miteinander oder Gegeneinander
$64.99
Roloff/Matek Bauteilkatalog
$39.99
Biotechnology for Pulp and Paper Processing
$119.99
Web Development Solutions
$24.99
Medullary Thyroid Cancer
$129.99
Reading and Writing Disorders in Different Orthographic Systems
$219.99
Algols
$169.00
Kompendium der Wirtschaftstheorie und Wirtschaftspolitik I
$169.99
Risk and Return in Transportation and Other US and Global Industries
$109.99
Numerical Methods in the Study of Critical Phenomena
$39.99
Political Ideas Of Leo Strauss
$29.99
Social Democracy and the Crisis of Equality
$39.99
Lebenslanges Lernen und die europische Bildungspolitik
$59.99
