A Relational Model of Non-Deterministic Dataflow (1998)

by Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
Venue:In CONCUR'98, volume 1466 of LNCS