Relational semantics of non-deterministic dataflow (1997)

by T T Hildebrandt, P Panangaden, G Winskel