Bisimulations and abstraction homomorphisms (Q1089791)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bisimulations and abstraction homomorphisms
scientific article

    Statements

    Bisimulations and abstraction homomorphisms (English)
    0 references
    0 references
    1987
    0 references
    See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 223-238 (1985; Zbl 0563.68028).
    0 references
    0 references
    abstraction homomorphisms
    0 references
    bisimulation
    0 references
    labelled transition systems
    0 references
    nondeterministic processes
    0 references
    Church-Rosser property
    0 references
    0 references