An introduction to bisimulation and coinduction [E-Book] / Davide Sangiorgi.
Sangiorgi, Davide, (author)
Cambridge : Cambridge University Press, 2012
1 online resource (xii, 247 pages)
englisch
9781107003637
9780511777110
Full Text
Table of Contents:
  • 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.