Failure-based equivalence of constraint automata (Q3056378)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Failure-based equivalence of constraint automata
scientific article

    Statements

    Failure-based equivalence of constraint automata (English)
    0 references
    12 November 2010
    0 references
    0 references
    failure-based equivalences
    0 references
    constraint automata
    0 references
    coordination
    0 references
    compositional semantics
    0 references
    0 references
    0 references