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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Beginning Programming Using Retro Computing
$29.99
Verfahrenstechnik zur Sicherung von Baugruben
$49.99
Organische psychische Strungen
$49.99
Fluid-Structure Interactions in Acoustics
$109.99
Well-Posed Optimization Problems
$44.99
Gesammelte Kleinere Schriften zur Philosophie und Psychologie
$59.99
Aesthetic and Regenerative Gynecology
$119.99
Introduction to Chinese Embroidery
$129.99
Multimodal Interaction with W3C Standards
$109.99
Die Asynchronmotoren und ihre Berechnung
$59.99
Hong Kong Cinema Since 1997
$54.99
Musik & Krisen
$59.99
Elektronik
$49.99
Factors Driving Social Network Site Usage
$54.99
Data-Driven Design for Computer-Supported Collaborative Learning
$119.00
Spielrume biographischer Selbstkonstruktion
$44.99
Naturgeme Heilmethoden
$59.99
Girls at Puberty
$169.99
A Quantum Computation Workbook
$49.99
Fundamentals of Speaker Recognition
$159.99
Umsatzsteuer - Grundlagen der Praxis
$44.99
Sustainable Utilization of Natural Gas for Low-Carbon Energy Production
$219.99
Breaking Up the Euro
$39.99
Gesundheitsmanagement in Unternehmen
$64.99
Bitcoins und andere dezentrale Transaktionssysteme
$44.99
Cybernetics and Systems 86
$39.99
Autobiography and Teacher Development in China
$109.99
Digital Image Quality in Medicine
$54.99
American Gitanos in Mexico City
$139.99
Nuclear Techniques in Diagnostic Medicine
$259.00
Die Viruskrankheiten der Haut
$59.99
berzeugungswandel bei Lehrkrften
$44.99
Aeronomy of the Earth's Atmosphere and Ionosphere
$129.00
Make-or-Buy bei Anwendungssystemen
$69.99
Finitely Axiomatizable Theories
$219.99
Outsourcing of Teaching English to Speakers of Other Languages
$49.99
Efficient Software Development with DB2 for OS/390
$54.99
Essential ASP.NET Web Forms Development
$79.99
C Programming for the PIC Microcontroller
$34.99
Politische Korruption
$64.99
