- 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 $$