Go up to
Go forward to
Static combinators: composition, restriction, labelling.
Action rules do not change graph structure.
Algebra of flow graphs.
Dynamic combinators: prefix, summation, constants.
Action rules change graph structure.
Algebra of transition graphs.
Relating static laws to dynamic laws.
Last Modification: June 8, 1998