An Iterative Metric Fully Abstract Semantics for Nondeterministic Dataflow (Extended Abstract).

Joost N. Kok

Browse the full MFCS paper archive.