Bisimulations and abstraction homomorphisms (Q1089791): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 01:20, 31 January 2024

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
    abstraction homomorphisms
    0 references
    bisimulation
    0 references
    labelled transition systems
    0 references
    nondeterministic processes
    0 references
    Church-Rosser property
    0 references

    Identifiers