A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279)

From MaRDI portal
scientific article; zbMATH DE number 6319814
Language Label Description Also known as
English
A Port Graph Calculus for Autonomic Computing and Invariant Verification
scientific article; zbMATH DE number 6319814

    Statements

    A Port Graph Calculus for Autonomic Computing and Invariant Verification (English)
    0 references
    0 references
    0 references
    23 July 2014
    0 references
    port graph
    0 references
    port graph rewriting
    0 references
    rewriting calculus
    0 references
    biochemical calculus
    0 references
    rewriting strategies
    0 references
    adaptive systems
    0 references
    autonomic computing
    0 references
    invariant verification
    0 references
    0 references
    0 references
    0 references

    Identifiers

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