An introduction to Bisimulation and Coinduction

   page       BibTeX_logo.png   
@book{bisimCoind11,
Author = {Sangiorgi, Davide},
Publisher = {Cambridge University Press},
Title = {An introduction to Bisimulation and Coinduction},
Year = 2011}