Rule formats for determinism and idempotence (Q433348)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rule formats for determinism and idempotence
scientific article

    Statements

    Rule formats for determinism and idempotence (English)
    0 references
    0 references
    0 references
    13 July 2012
    0 references
    structural operational semantics
    0 references
    rule formats
    0 references
    determinism
    0 references
    idempotence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers