A hierarchy of domains for real-time distributed computing (Q5887512)

From MaRDI portal
scientific article; zbMATH DE number 7673898
Language Label Description Also known as
English
A hierarchy of domains for real-time distributed computing
scientific article; zbMATH DE number 7673898

    Statements

    A hierarchy of domains for real-time distributed computing (English)
    0 references
    0 references
    12 April 2023
    0 references
    0 references
    projection mapping
    0 references
    proof system
    0 references
    unique fixed point
    0 references
    communicate sequential process
    0 references
    denotational semantic
    0 references
    0 references