A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

    Research output: Book/ReportReportProfessional

    69 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages27
    Publication statusPublished - 2019

    Publication series

    NameComputer Science Reports
    Volume19-03
    ISSN (Print)0926-4515

    Cite this