The timed failures−stability model for Timed CSP
A. W. Roscoe and G.M. Reed
Details
| Institution |
Oxford University Computing Laboratory |
| Note |
also appeared in Theoretical Computer Science‚ Vol 211 (1999) |
| Number |
PRG−119 |
| Year |
1996 |
Links
Related pages
|
People |
|
|
Activities |