|
|
An alternative order for the failures model
A. W. Roscoe infoinstitution | Oxford University Computing Laboratory |
month | July |
note | in Two papers on CSP, Also appeared in Journal of Logic and Computation 2, 5 pp557-577 |
number | PRG-67 |
year | 1988 |
links
BibTeX
Link (ps)
related pages
|
|
|
|
