A CSP solution to the trains problem
A. W. Roscoe
Details
| Book Title |
The Analysis of Concurrent Systems |
| Editor |
B.T. Denvir et al |
| Number |
207 |
| Pages |
384–388 |
| Publisher |
Springer |
| Series |
LNCS |
| Year |
1985 |
Links
Related pages
|
People |
|
|
Activities |