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.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998