Go backward to
Weak Bisimulation and Observation Equivalence
Go up to
Top
Go forward to
Properties of Bisimulation
Examples
Agents
C
0
and
D
Bisimulation
S
=
{
(C
0
,D), (C
1
,D
1
), (C
2
,D
2
), (C
3
,D)
}
No
strong
bisimulation containing
(C
3
,D)
since
C
3
->
tau
C
0
but there is no
D
->
tau
D'
.
Agents
A
and
B
A
0
=
a.A
0
+ b.A
1
+
tau
.
A
1
A
1
=
a
.
A
1
+
tau
.
A
2
A
2
=
b
.
A
0
B
1
=
a.B
1
+
tau
.
B
2
B
2
=
b.B
1
Bisimulation
S
= { (
A
0
,
B
1
), (
A
1
,
B
1
), (
A
2
,
B
2
) } (note that
B
1
=>
b
B
1
!)
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998