'Branching time and orthogonal bisimulation equivalence'

J.A. Bergstra, A. Ponse, M.B. van der Zwaag

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined/Unknown
    Pages (from-to)313-356
    Number of pages44
    JournalTheoretical Computer Science
    Volume309
    Publication statusPublished - 2005

    Cite this