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
A. W. Roscoe