Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structural operational semantics for non-deterministic processes with quantitative aspects
scientific article

    Statements

    Structural operational semantics for non-deterministic processes with quantitative aspects (English)
    0 references
    0 references
    0 references
    6 February 2017
    0 references
    rule formats
    0 references
    behavioural congruences
    0 references
    quantitative models
    0 references

    Identifiers

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