Skip to content

Unbounded Nondeterminism in CSP.

A. W. Roscoe, Geoff Barrett

VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics

Browse the full MFPS paper archive.