An efficient algorithm for computing bisimulation equivalence (Q1884935)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An efficient algorithm for computing bisimulation equivalence
scientific article

    Statements

    An efficient algorithm for computing bisimulation equivalence (English)
    0 references
    0 references
    0 references
    0 references
    27 October 2004
    0 references
    0 references
    Bisimulation
    0 references
    Non-well-founded sets
    0 references
    Rank-based methods
    0 references
    Verification
    0 references
    OBDDs
    0 references
    0 references
    0 references
    0 references