Weak bisimulation for action-type coalgebras (extended abstract) (Q2849887)

From MaRDI portal





scientific article; zbMATH DE number 6209919
Language Label Description Also known as
English
Weak bisimulation for action-type coalgebras (extended abstract)
scientific article; zbMATH DE number 6209919

    Statements

    0 references
    0 references
    0 references
    20 September 2013
    0 references
    Weak bisimulation for action-type coalgebras (extended abstract) (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references