Algebraic-coalgebraic specification in CoCASL (Q2369034)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic-coalgebraic specification in CoCASL
scientific article

    Statements

    Algebraic-coalgebraic specification in CoCASL (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    28 April 2006
    0 references
    Algebraic specification
    0 references
    Coalgebra
    0 references
    Process algebra
    0 references
    Casl
    0 references
    CCS
    0 references
    CSP
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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