The Semantics of Nondeterminism.

Matthew Hennessy, Edward A. Ashcroft

Browse the full ICALP paper archive.