An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193)

From MaRDI portal
scientific article; zbMATH DE number 1635358
Language Label Description Also known as
English
An introduction to metric semantics: Operational and denotational models for programming and specification languages
scientific article; zbMATH DE number 1635358

    Statements

    An introduction to metric semantics: Operational and denotational models for programming and specification languages (English)
    0 references
    0 references
    20 August 2001
    0 references
    metric semantics
    0 references
    operational semantics
    0 references
    denotational semantics
    0 references
    programming language
    0 references
    specification language
    0 references
    nondeterminism
    0 references
    nontermination
    0 references
    labelled transition system
    0 references
    metric space
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers