You are here

Introduction to Bisimulation and Coinduction

David Sangiorgi
Publisher: 
Cambridge University Press
Publication Date: 
2011
Number of Pages: 
247
Format: 
Hardcover
Price: 
80.00
ISBN: 
9781107003637
Category: 
Monograph
We do not plan to review this book.

Preface
1. General introduction
2. Towards bisimulation
3. Coinduction and the duality with induction
4. Algebraic properties of bisimilarity
5. Processes with internal activities
6. Other approaches to behavioural equivalences
7. Refinements of simulation
8. Basic observables
Appendix A. Solutions to selected exercises
List of notations
Bibliography
Index.