Relational Semantics of Non-Deterministic Dataflow (1997)

by Thomas Troels Hildebrandt , Prakash Panangaden , Glynn Winskel
Citations:12 - 5 self