Analysing TM_FS: a study of nondeterminism in real−time concurrency
A. W. Roscoe and G.M. Reed
Details
| Editor |
Yonezawa and Ito |
| Journal |
Concurrency: Theory Language and Architecture |
| Publisher |
Springer LNCS |
| Volume |
491 |
| Year |
1991 |
Links
Related pages
|
People |
|
|
Activities |