Go backward to Examples
Go up to Top
Go forward to Observation Congruence
Properties of Bisimulation
Equality not yet fully captured.
- ~~ is the largest bisimulation.
- ~~ is an equivalence relation.
- ~~ tau.
- ~~ is not yet equality:
- ~~ not preserved by summation.
- ~~ tau. does not hold!
- Proof: if (,) were in a bisimulation , then, since
-> , we need (, ) in with
=> . But the only is itself but can
be not in , since
->a 0, while has no -descendant.
- ~ implies = implies ~~
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine