On Observing Nondeterminism and Concurrency

著者: Matthew Hennessy, Robin Milner - Lecture notes in computer science 1980 被引用: 4,497