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"
-
Part I
of the book, with general presentation of bisimulation and
coinduction and the introduction of the concept of
bisimulation
-
Part II
of the book: coinduction and the duality with
induction
-
Part III
,
a rather quick glance on
process calculi, weak
bisimulation, inductive notions of behavioural equivalence
I'd be happy to add other slides; do contact me for that.
-- Davide Sangiorgi
Last modified: Mon Sep 2 16:48:54 CEST 2013