COMMUTING CONDITION
Christos G. Cassandras
CODES Lab. - Boston University
States
x, y, z
1
and events
a
,
b
such that
Then, for some
z
2
Moreover, for
x, z
1
, z
2
s.t.
p
(
z
1
;
x,
a
) =
p
(
z
2
;
x,
a
) > 0,
z
1
=
z
2
x
y
z
2
z
1
a
a
b
b