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

    Onderzoeksoutput: Boek/rapportRapportProfessioneel

    65 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's27
    StatusGepubliceerd - 2019

    Publicatie series

    NaamComputer Science Reports
    Volume19-03
    ISSN van geprinte versie0926-4515

    Citeer dit