Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification
A. W. Roscoe
Details
| Book Title |
The Analysis of Concurrent Systems |
| Editor |
B.T. Denvir et al |
| Number |
207 |
| Pages |
103–109 |
| Publisher |
Springer |
| Series |
LNCS |
| Year |
1985 |
Links
Related pages
|
People |
|
|
Activities |