Towards bisimulation
Coinduction and the duality with induction
Algebraic properties of bisimilarity
Processes with internal activities
Other approaches to behavioural equivalences
Refinements of simulation
Basic observables.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
An introduction to bisimulation and coinduction by Davide Sangiorgi. ISBN 9781107003637. Published by Cambridge University Press in 2012. Publication and catalogue information, links to buy online and reader comments.
