Program constructions that are safe for bisimulation (Q1577351)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Program constructions that are safe for bisimulation
scientific article

    Statements

    Program constructions that are safe for bisimulation (English)
    0 references
    21 November 2000
    0 references
    modal logic
    0 references
    bisimulations
    0 references

    Identifiers