An algebraic characterization of transition system equivalences (Q1822989)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An algebraic characterization of transition system equivalences
scientific article

    Statements

    An algebraic characterization of transition system equivalences (English)
    0 references
    0 references
    0 references
    1989
    0 references
    logical equivalence
    0 references
    algebraic interpretation of temporal logic
    0 references
    saturating quasi-homomorphisms
    0 references
    power algebras
    0 references

    Identifiers