APICe » Publications » bisimCoind11

An introduction to Bisimulation and Coinduction

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