Invia SMS: An introduction to bisimulation and coinduction Davide Sangiorgi. [electronic resource] /