Semantics of nondeterminism, concurrency and communication (1979)

by R De Nicoa
Venue:Dept. of Computer Science, Univ. of Edinburgh