A Relational Model of Non-deterministic Dataflow.

Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel

Browse the full CONCUR paper archive.