Unbounded nondeterminism in CSP
A. W. Roscoe
Details
| 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 |
Links
Related pages
|
People |
|
|
Activities |