Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sequential and distributed on-the-fly computation of weak tau-confluence
scientific article

    Statements

    Sequential and distributed on-the-fly computation of weak tau-confluence (English)
    0 references
    0 references
    0 references
    20 July 2012
    0 references
    Boolean equation system
    0 references
    branching bisimulation
    0 references
    labelled transition system
    0 references
    partial order reduction
    0 references
    on-the-fly verification
    0 references
    0 references
    0 references
    0 references

    Identifiers