Book contents
- Frontmatter
- Contents
- List of contributors
- Preface
- 1 Origins of bisimulation and coinduction
- 2 An introduction to (co)algebra and (co)induction
- 3 The algorithmics of bisimilarity
- 4 Bisimulation and logic
- 5 Howe's method for higher-order languages
- 6 Enhancements of the bisimulation proof method
- 7 Probabilistic bisimulation
Contents
Published online by Cambridge University Press: 05 November 2011
- Frontmatter
- Contents
- List of contributors
- Preface
- 1 Origins of bisimulation and coinduction
- 2 An introduction to (co)algebra and (co)induction
- 3 The algorithmics of bisimilarity
- 4 Bisimulation and logic
- 5 Howe's method for higher-order languages
- 6 Enhancements of the bisimulation proof method
- 7 Probabilistic bisimulation
Summary
- Type
- Chapter
- Information
- Advanced Topics in Bisimulation and Coinduction , pp. v - viiPublisher: Cambridge University PressPrint publication year: 2011