|
|
Unbounded nondeterminism in CSP
A. W. Roscoe infoinstitution | 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
BibTeX
Link (ps)
related pages
|
|
|
|
