Communication and correctness in Timed CSP
A. W. Roscoe‚ S.A. Schneider‚ J.W. Davies‚ D.M. Jackson and G.M. Reed
Details
| Institution |
Esprit SPEC project |
| Year |
1990 |
Links
Related pages
|
People |
|
|
Activities |