Go backward to Experimenting upon Agents
Go up to Top
Go forward to Strong Equivalence
Strong Bisimulation
- Strong bisimulation
- Binary relation over agents such that in implies
- If -> , then -> with
in and vice versa.
- For every action alpha, every alpha-derivative of is
equivalent to some alpha-derivative of .
- Example
- Claim: \ =
- True if is a strong bisimulation:
= { (()\, ), (()\, ),
(()\, ),
(()\, ) }
- Ceck derivatives of each of the eight agents.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine