Go backward to Weak Bisimulation and Observation EquivalenceGo up to TopGo forward to Properties of Bisimulation |

- Agents
*C*and_{0}*D*- Bisimulation
*S*=

{*(C*}_{0},D), (C_{1},D_{1}), (C_{2},D_{2}), (C_{3},D) - No
*strong*bisimulation containing*(C*since_{3},D)*C*->_{3}^{tau}*C*but there is no_{0}*D*->^{tau}*D'*.

- Bisimulation
- Agents
*A*and*B**A*=_{0}*a.A*_{0}+ b.A_{1}+`tau`.*A*_{1}*A*=_{1}*a*.*A*+_{1}`tau`.*A*_{2}*A*=_{2}*b*.*A*_{0}*B*=_{1}*a.B*_{1}+`tau`.*B*_{2}*B*=_{2}*b.B*_{1}- Bisimulation
*S*= { (*A*,_{0}*B*), (_{1}*A*,_{1}*B*), (_{1}*A*,_{2}*B*) } (note that_{2}*B*=>_{1}b^{}*B*!)_{1}

Author: Wolfgang Schreiner

Last Modification: June 8, 1998