Introduction to Bisimulation and Coinduction

   page       BibTeX_logo.png       attach   
Davide Sangiorgi
Cambridge University Press
2011