A UTP semantic model for Orc language with execution status and fault handling (Q1633048)

From MaRDI portal





scientific article
Language Label Description Also known as
English
A UTP semantic model for Orc language with execution status and fault handling
scientific article

    Statements

    A UTP semantic model for Orc language with execution status and fault handling (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    19 December 2018
    0 references
    Orc language
    0 references
    service-oriented computing
    0 references
    unifying theories of programming
    0 references
    denotational semantics
    0 references
    operational semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers