On Observing Nondeterminism and Concurrency.

Matthew Hennessy, Robin Milner

Browse the full ICALP paper archive.