Some slides for the book "Introduction to Bisimulation and Coinduction"
These are slides that used in courses and schools on the
material in the book "Introduction to Bisimulation and Coinduction"
I'd be happy to add other slides; do contact me for that.
of the book, with general presentation of bisimulation and
coinduction and the introduction of the concept of
of the book: coinduction and the duality with
a rather quick glance on
process calculi, weak
bisimulation, inductive notions of behavioural equivalence
-- Davide Sangiorgi
Last modified: Mon Sep 2 16:48:54 CEST 2013