|
|
Welcome |
|
|
Teaching |
|
|
Research |
|
|
Projects |
|
|
CV |
|
|
Contact info |
|
|
Other stuff |
|
|
Links |
This is a tutorial on Behavioural Equivalence. Dynamic Systems are often described as systems that have a state which evolves over time. A wide class of such systems can be modelled by transition systems. An essential question about how systems behave is that of system equivalence. What does it mean, and when can we say that two systems behave ``in the same way''? To address this question in the context of transition systems, the concepts of simulation and bisimulation have been introduced.
The text are available in the following formats: