An alternative order for the failures model
A. W. Roscoe
Institution
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
A. W. Roscoe