Go backward to
Experimenting upon Agents
Go up to
Top
Go forward to
Strong Equivalence
Strong Bisimulation
Strong bisimulation
Binary relation
S
over agents such that
(P,Q)
in
S
implies
If
P
->
alpha
P'
, then
Q
->
alpha
Q'
with
(P',Q')
in
S
and vice versa.
For every action
alpha
, every
alpha
-derivative of
P
is equivalent to some
alpha
-derivative of
Q
.
Example
Claim:
(A|B)
\
c
=
C
1
True if
S
is a strong bisimulation:
S
= { ((
A|B
)\
c
,
C
1
), ((
A'|B
)\
c
,
C
3
),
((
A|B'
)\
c
,
C
0
), ((
A'|B'
)\
c
,
C
2
) }
Check derivatives of each of the eight agents.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998