Bisimulation and coinduction offer powerful tools for understanding structures that are common in computer science mathematics and other fields. No other textbook offers a comprehensive treatment of these two concepts. Here the author teaches the basic theory and how to apply it with a special emphasis on applications to processes.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.