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
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1016/S0304-3975(03)00277-9
Permalink to this page
Back