Convenient categories of processes and simulations I: modulo strong bisimilarity
Dusko Pavlovic
Details
| Book Title |
Category Theory and Computer Science '95 |
| Editor |
D. Pitt et al. |
| Pages |
3–24 |
| Publisher |
Springer Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
953 |
| Year |
1995 |
Links
Related pages
|
People |