On Coalgebras with Internal Moves

DOI10.1007/978-3-662-44124-4_5zbMath1445.68135arXiv1402.6281OpenAlexW2099514375MaRDI QIDQ2942776

Tomasz Brengos

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1402.6281

zbMATH Keywords

coalgebrabisimulationlogicsaturationmonadweak bisimulationfixed-point operatortrace semanticstraced monoidal categoryinternal transitionConway operatorepsilon transitionuniform fixed-point operatorvan Glabbeek spectrumweak trace semantics

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (5)

Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: On Coalgebras with Internal Moves