Welcome
Teaching
Research
Projects
CV
Contact info
Other stuff
Links
Notes
Behavioural Equivalence: An introduction to Bisimulation
.