Next: Calculi Up: Foundational models and abstract Previous: Correct Transformations of Nondeterministic
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.
Flow graphs and semantics of programs.
available from http://www.cogs.susx.ac.uk/users/alanje/premon/, 1997.