Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 16:23, 2 February 2024

scientific article
Language Label Description Also known as
English
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
scientific article

    Statements

    Executable rewriting logic semantics of Orc and formal analysis of Orc programs (English)
    0 references
    0 references
    0 references
    15 June 2015
    0 references
    rewriting logic
    0 references
    Orc
    0 references
    executable semantics
    0 references
    Maude
    0 references
    formal analysis
    0 references
    service orchestration
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references