A unified framework for differential aggregations in Markovian process algebra (Q2258842)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A unified framework for differential aggregations in Markovian process algebra
scientific article

    Statements

    A unified framework for differential aggregations in Markovian process algebra (English)
    0 references
    0 references
    0 references
    27 February 2015
    0 references
    Markovian process algebra
    0 references
    fluid semantics
    0 references
    lumpability
    0 references

    Identifiers