On observing nondeterminism and concurrency (1980)

by M Hennessy, R Milner
Venue:in Proceedings 7th Colloquium on Automata, Languages and Programming