Go backward to Equivalence of Agents
Go up to Top
Go forward to Strong Bisimulation
Experimenting upon Agents
- Example agents and
- =
- =
- "Language understood" by and
-
- and seem equivalent.
- Ports , , , .
- Initially only is "unlocked".
- Observer "presses button" .
- In , and are "unlocked".
- In , sometimes , sometimes is "unlocked".
- and can be experimentally distinguished!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine