Hildebrandt, T.T., Panangaden, P. and Winskel, G. 1997. Relational Semantics of Non-Deterministic Dataflow. BRICS Report Series. 4, 36 (Jun. 1997). DOI:https://doi.org/10.7146/brics.v4i36.18962.