Lattice-valued simulations for quantitative transition systems (Q473367)

From MaRDI portal
Revision as of 13:07, 12 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Lattice-valued simulations for quantitative transition systems
scientific article

    Statements

    Lattice-valued simulations for quantitative transition systems (English)
    0 references
    0 references
    0 references
    0 references
    24 November 2014
    0 references
    simulation
    0 references
    fuzzy automata
    0 references
    Hennessy-Milner logic
    0 references
    residuated lattices
    0 references
    Heyting algebra
    0 references

    Identifiers