Go backward to Dynamic Laws
Go up to Top
Go forward to The Expansion Law
Non-Laws
- tau. =
- A = + tau.
- A' = +
- may switch to state in which only is possible.
- always allows or .
- Action sequence may yield dedlock for right side.
- alpha.() = alpha. + alpha.
-
- is -derivative of right side, not capable of action.
- -derivative of left side is capable of action!
- Action sequence may yield deadlock for right side.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine