next up previous contents
Next: Calculi Up: Foundational models and abstract Previous: Correct Transformations of Nondeterministic

Flow graphs and semantics

In [Je97], Jeffrey gives a precise relationship between

This document also contains some more speculative work on how closed structure (to represent higher-order functions) or two-category structure (to represent operational semantics) might be included in this graphical framework.

[[Je97]] A. Jeffrey.
Flow graphs and semantics of programs.
available from, 1997.