Go up to Top
Go forward to Static Laws
Equational Laws
- Static laws
- Static combinators: composition, restriction, labelling.
- Action rules do not change graph structure.
- Algebra of flow graphs.
- Dynamic laws
- Dynamic combinators: prefix, summation, constants.
- Action rules change graph structure.
- Algebra of transition graphs.
- Expansion law
- Relating static laws to dynamic laws.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine