Go backward to
Equivalence of Agents
Go up to
Top
Go forward to
Strong Bisimulation
Experimenting upon Agents
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!
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998