Return to Article Details Relational Semantics of Non-Deterministic Dataflow Download Download PDF