Advanced topics in bisimulation and coinduction

Advanced topics in bisimulation and coinduction

by Davide Sangiorgi

Book 52 of Cambridge tracts in theoretical computer science --

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
"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 both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material"--

Discuss Advanced topics in bisimulation and coinduction with other readers

Join or start a book club for Advanced topics in bisimulation and coinduction on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Advanced topics in bisimulation and coinduction?

Sign up free on Readfeed, then browse public clubs or start your own club with Advanced topics in bisimulation and coinduction as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Advanced topics in bisimulation and coinduction with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Advanced topics in bisimulation and coinduction with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.