Branch-well-structured transition systems and extensions (Q2165211)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Branch-well-structured transition systems and extensions
scientific article

    Statements

    Branch-well-structured transition systems and extensions (English)
    0 references
    0 references
    0 references
    0 references
    19 August 2022
    0 references
    verification
    0 references
    decidability
    0 references
    coverability
    0 references
    termination
    0 references
    well-quasi-ordering
    0 references

    Identifiers