Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5
Add Item to wish listAdd Item to wish list

Advanced Topics in Bisimulation and Coinduction

By Davide Sangiorgi (Editor), Jan Rutten (Editor)
Hardcover
$77.50
(
$155.00
)Save 50%
By Davide Sangiorgi (Editor), Jan Rutten (Editor)

Now through 07/05/26 Premium & Rewards Members Earn Double Stamps! 10 stamps = $5 reward

Membership Card Icon
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at ...

Categories

ComputersNetworking & TelecommunicationsGeneral & Miscellaneous Networking & Telecommunications