Go up to TopGo forward to Static 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.

Author: Wolfgang Schreiner

Last Modification: June 8, 1998