Deciding bisimulation equivalences for a class of non-finite-state programs (Q1317428)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deciding bisimulation equivalences for a class of non-finite-state programs
scientific article

    Statements

    Deciding bisimulation equivalences for a class of non-finite-state programs (English)
    0 references
    0 references
    0 references
    24 March 1994
    0 references
    automatic program verification
    0 references
    infinite-state programs
    0 references
    strong equivalence
    0 references
    observation equivalence
    0 references
    bisimulations
    0 references
    NP-hard
    0 references

    Identifiers