Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 313-356 |
Number of pages | 44 |
Journal | Theoretical Computer Science |
Volume | 309 |
Publication status | Published - 2005 |
'Branching time and orthogonal bisimulation equivalence'
J.A. Bergstra, A. Ponse, M.B. van der Zwaag
Research output: Contribution to journal › Article › Academic › peer-review