| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Amsterdam |
| Publisher | CWI report |
| Number of pages | 38 |
| Edition | SEN-R0035 |
| ISBN (Print) | 13886-369X |
| Publication status | Published - 2000 |
Branching time and orthogonal bisimulation equivalence
J.A. Bergstra, A. Ponse, M.B. van der Zwaag
Research output: Book/Report › Report › Academic