TY  - BOOK
AU  - 
AU  - Sangiorgi, Davide, Ed.
TI  - Advanced topics in bisimulation and coinduction
SN  - 9781107004979
U1  - 004.015113 
PY  - 2012///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer science
KW  - Induction (Mathematics)
KW  - Modality (Logic)
KW  - Computer science--Philosophy
KW  - Computer simulation
ER  -