On Observing Nondeterminism and Concurrency (1980)

by M Hennessy, R Milner
Venue:Automata, Languages and Programming, 7th Colloquium, volume 85 of Lecture Notes in Computer Science