Go backward to Strong Bisimulation
Go up to Top
Go forward to Properties of Strong Equivalence
Strong Equivalence
- Strong equivalence ~
- ~, if in for some strong bisimulation .
- ~ = union{: is a strong bisimulation}.
- Corollaries:
- ~ is the largest strong bisimulation.
- ~ is an equivalence relation.
- Proposition:
- ~ iff, for all alpha,
- If -> , then -> with
in and vice versa.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine