Relational properties of sequential composition of coalgebras (Q406463)

From MaRDI portal





scientific article; zbMATH DE number 6341217
Language Label Description Also known as
English
Relational properties of sequential composition of coalgebras
scientific article; zbMATH DE number 6341217

    Statements

    Relational properties of sequential composition of coalgebras (English)
    0 references
    0 references
    0 references
    8 September 2014
    0 references
    coalgebra
    0 references
    bisimulation
    0 references
    sequential composition
    0 references
    Dedekind categories
    0 references

    Identifiers