Go backward to
Static Laws
Go up to
Top
Go forward to
Non-Laws
Dynamic Laws
Monoid laws
P + Q = Q + P
P + (Q + R) = (P + Q) + R
P + P = P
P + 0 = P
tau
laws
alpha
.
tau
.
P
=
alpha
.
P
P +
tau
.
P
=
tau
.
P
alpha
.(
P
+
tau
.
Q
) +
alpha
.
Q
=
alpha
.(
P
+
tau
.
Q
)
Transition Relation
P
=>
alpha
P'
P
=>
alpha
P'
<=>
P
(->
tau
)
*
->
alpha
(->
tau
)
*
P'
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998