Branching Time and Orthogonal Bisimulation Equivalence
| Authors | |
|---|---|
| Publication date | 2003 |
| Journal | Theoretical Computer Science |
| Volume | Issue number | 309 | 1-3 |
| Pages (from-to) | 313-355 |
| Organisations |
|
| Document type | Article |
| Published at |
https://doi.org/10.1016/S0304-3975(03)00277-9
(Final published version)
|
| Permalink to this page | |
