Introduction to Bisimulation and Coinduction

   Info_icon.svg       BibTeX_logo.svg   
Davide Sangiorgi
Cambridge University Press
2011