On Coalgebras with Internal Moves (Q2942776)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Coalgebras with Internal Moves
scientific article

    Statements

    On Coalgebras with Internal Moves (English)
    0 references
    0 references
    11 September 2015
    0 references
    bisimulation
    0 references
    coalgebra
    0 references
    Conway operator
    0 references
    epsilon transition
    0 references
    fixed-point operator
    0 references
    internal transition
    0 references
    logic
    0 references
    monad
    0 references
    saturation
    0 references
    trace semantics
    0 references
    traced monoidal category
    0 references
    uniform fixed-point operator
    0 references
    weak bisimulation
    0 references
    weak trace semantics
    0 references
    van Glabbeek spectrum
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references