On Observing Nondeterminism and Concurrency

Authors: Matthew Hennessy, Robin Milner - Lecture notes in computer science 1980 cited by 4,497