Enviar aquest missatge de text: Advanced topics in bisimulation and coinduction edited by Davide Sangiorgi, Jan Rutten. [electronic resource] /