Coinductive techniques as unique solutions of equations

I present proof techniques for coinduction based on unique solution of equations. I discuss the expressiveness of such techniques showing them at work on non-trivial examples, compare them with other coinductive techniques, and then show how to employ them to reason on inductive equivalences and preorders such as contextual and trace preorders and equivalences.

Relatore

Prof. Davide Sangiorgi - Professore ordinario di informatica presso l’Alma Mater Studiorum Università di Bologna

Docente di riferimento

Prof. Alessandro Aldini

Vincoli di partecipazione

Nessuno

Date

Luogo Data Orario Crediti (CFU)
Aula Magna (Collegio Raffaello) 19 settembre 2018 09:00-10:00 0.0625