A Theory of Nondeterminism.

Richard Kennaway, C. A. R. Hoare

Browse the full ICALP paper archive.