You are here

Introduction to Bisimulation and Coinduction

Publisher: 
Cambridge University Press
Number of Pages: 
247
Price: 
80.00
ISBN: 
9781107003637
Date Received: 
Thursday, January 19, 2012
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
David Sangiorgi
Publication Date: 
2011
Format: 
Hardcover
Category: 
Monograph

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.

Publish Book: 
Modify Date: 
Thursday, January 19, 2012

Dummy View - NOT TO BE DELETED