Go backward to Strong Congruence
Go up to Top
Go forward to Weak Bisimulation and Observation Equivalence
Bisimulation and Observation Equivalence
- (Weak) bisimulation and (observation) equivalence:
- tau action may be matched by zero or more tau actions.
- Auxiliary definitions:
- ^ is the action sequence gained by deleting all occurences of
tau from .
- ->t , if alpha...alpha and
->_1...->_n.
- =>t if alpha...alpha and
(->)->_1(->)...(->)->_n(->).
- is a -descendant of iff =>t .
- Relationship
- ->t implies =>t implies
->t
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine