A timed model for communicating sequential processes
A. W. Roscoe and G.M. Reed
Details
| Journal |
Theoretical Computer Science |
| Pages |
249–261 |
| Volume |
58 |
| Year |
1988 |
Links
Related pages
|
People |
|
|
Activities |