Go backward to Equivalence of AgentsGo up to TopGo forward to Strong Bisimulation |

- Example agents
*A*and*B**A*=*a.(b.0 + c.d.A)**B*=*a.b.0 + a.c.d.B*

- "Language understood" by
*A*and*B**(a.c.d)*^{*}.a.b.0*A*and*B*seem equivalent.

- Ports
*a*,*b*,*c*,*d*.- Initially only
*a*is "unlocked". - Observer "presses button"
*a*. - In
*A*,*b*and*c*are "unlocked". - In
*B*, sometimes*b*, sometimes*c*is "unlocked". *A*and*B*can be experimentally distinguished!

- Initially only

Author: Wolfgang Schreiner

Last Modification: June 8, 1998