Giorgio Bacci

• Watched: 11 May 2025

• Published: 15 Mar 2022

• Advanced Topics in Bisimulation and Coinduction (Introduction) 15 min
• Selected Topics In Modelling and Verification (Lecture 1) 1 h 5 min
• Selected Topics In Modelling and Verification (Lecture 2) 46 min
• Selected Topics In Modelling and Verification (Lecture 3) 1 h 15 min

A series of Youtube video recording lectures related to bisimulation and coinduction.