No label defined (Q2704324)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    19 March 2001
    0 references
    operational reasoning
    0 references
    applicative bisimulation
    0 references
    Sands' improvement theory
    0 references

    Identifiers