A relational model of non-deterministic dataflow

Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel. A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science, 14(5):613-649, 2004. [doi]

Abstract

Abstract is missing.