The formal semantics of deterministic dataflow programs

José Nuno Oliveira. The formal semantics of deterministic dataflow programs. PhD thesis, University of Manchester, UK, 1984. [doi]

Abstract

Abstract is missing.