Go backward to Static Laws
Go up to Top
Go forward to Non-Laws
Dynamic Laws
- Monoid laws
-
-
-
-
- tau laws
- alpha.tau. = alpha.
- tau. = tau.
- alpha.( + tau.) + alpha. = alpha.( + tau.)
- Transition Relation =>
- => (->)
-> (->)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine