Team equivalences for finite-state machines with silent moves (Q2216117)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Team equivalences for finite-state machines with silent moves
scientific article

    Statements

    Team equivalences for finite-state machines with silent moves (English)
    0 references
    0 references
    15 December 2020
    0 references
    Petri nets
    0 references
    finite-state machines
    0 references
    truly concurrent semantics
    0 references
    weak bisimulation
    0 references
    branching bisimulation
    0 references
    equivalence checking
    0 references
    axiomatization
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers