Convenient categories of processes and simulations II: modulo weak and branching bisimilarities
Dusko Pavlovic
Details
| Book Title |
Theory and Formal Methods of Computing 96 |
| Editor |
A. Edalat et al. |
| Pages |
156–167 |
| Publisher |
World Scientific |
| Year |
1996 |
Links
Related pages
|
People |