A timed model for communicating sequential processes
A. W. Roscoe and G.M. Reed
Details
| Book Title |
Proc.ICALP 86 |
| Number |
226 |
| Pages |
314–323 |
| Publisher |
Springer |
| Series |
LNCS |
| Year |
1986 |
Links
Related pages
|
People |
|
|
Activities |