Springer
Logics for Concurrency (English, Faron Moller | Graham Birtwistle)
₹5,514
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theore…
ISBN: 9783540609155
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540609155 |
| ISBN-10 | 3540609156 |
| Author | Faron Moller | Graham Birtwistle |
