La bisimulazione

Quanto ci proponiamo di fare in questo capitolo è riprendere il discorso iniziato nella sezione delle equivalenze, mostrando alcune proprietà della bisimulazione e fornendo anche un'assiomatizzazione completa sia per strong che per weak bisimulation; vedremo anche che per il nostro intento di sostituire uguali per uguali necessiteremo di aver a che fare con una congruenza e come la strong bisimulation abbia questa proprietà mentre per la weak dovremmo fornire una caratterizzazione alternativa (anche se molto simile) per ottenere questa proprietà.