Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).

Nissim Francez, C. A. R. Hoare, Willem P. de Roever

Browse the full MFCS paper archive.