An introduction to bisimulation and coinduction /

Bibliographic Details
Main Author: Sangiorgi, Davide, 1964-
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University, c2012.
Subjects:
Online Access:Publisher description
Table of contents only
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.