An operational semantics of occam (Q914399)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An operational semantics of occam
scientific article

    Statements

    An operational semantics of occam (English)
    0 references
    0 references
    0 references
    1989
    0 references
    0 references
    0 references
    0 references
    0 references
    operational semantics
    0 references
    refusal and acceptance sets
    0 references
    syntax directed transition systems
    0 references
    priority alternation
    0 references
    0 references
    0 references
    0 references
    0 references