A relational model of non-deterministic dataflow (2004)

by T T Hildebrandt, P Panangaden, G Winskel
Venue:Mathematical Structures in Computer Science