Categorical logic of concurrency and interaction I. Synchronous processes
Dusko Pavlovic
Details
| Book Title |
Theory and Formal Methods of Computing 94 |
| Editor |
C. Hankin et al. |
| Pages |
105–141 |
| Publisher |
World Scientific |
| Year |
1995 |
Links
Related pages
|
People |