Relational semantics of nondeterministic dataflow (1998)

by T Hildebrandt, P Panangaden, G Winskel
Venue:In CONCUR’98, Proceedings of the 9th International Conference on Concurrency Theory, volume 1466 of LNCS