Linear time and branching time semantics for recursion with merge (Q1348527)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Linear time and branching time semantics for recursion with merge
scientific article

    Statements

    Linear time and branching time semantics for recursion with merge (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 May 2002
    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