From CML to its process algebra (Q672132)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From CML to its process algebra
scientific article

    Statements

    From CML to its process algebra (English)
    0 references
    0 references
    0 references
    27 February 1997
    0 references
    Standard ML
    0 references
    communication behaviours of CML programs
    0 references
    operational semantics
    0 references
    semantics of a process algebra
    0 references
    concurrent programming languages
    0 references
    0 references
    0 references

    Identifiers

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