Skip to main content

Unbounded nondeterminism in CSP

A. W. Roscoe

Institution
Oxford University Computing Laboratory
Month
July
Note
in Two papers on CSP‚ Also appeared in Journal of Logic and Computation‚ Vol 3‚ No 2 pp131−172 (1993)
Number
PRG−67
Year
1988