Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
From MaRDI portal
Publication:890383
DOI10.1016/j.tcs.2015.03.024zbMath1330.68194arXiv1402.4062OpenAlexW2772890845MaRDI QIDQ890383
Stefan Milius, Filippo Bonchi, Fabio Zanasi, Alexandra Silva
Publication date: 10 November 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1402.4062
Mazurkiewicz tracestrace semanticscoalgebras on Kleisli categoriesepsilon transitionsnon-deterministic transducersparametrized fixpoint operator
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)
Related Items
Behavioural equivalences for coalgebras with unobservable moves ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Structural operational semantics for non-deterministic processes with quantitative aspects ⋮ Lawvere Categories as Composed PROPs ⋮ Product Rules and Distributive Laws ⋮ Coalgebraic semantics for nominal automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3--6, 2013. Proceedings
- Equational properties of iterative monads
- Subsequential transducers: a coalgebraic perspective
- On coalgebras over algebras
- Behavioural equivalences for coalgebras with unobservable moves
- Sur une variante des fonctions séquentielles
- Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7--10, 1993. Proceedings
- On tree coalgebras and coalgebra presentations
- Coequalizers and free triples
- A Coalgebraic View of ε-Transitions
- Complete Iterativity for Algebras with Effects
- Relational Presheaves as Labelled Transition Systems
- Weak bisimulation for coalgebras over order enriched monads
- How to Kill Epsilons with a Dagger
- On Coalgebras with Internal Moves
- Iterated distributive laws
- Elgot theories: a new perspective on the equational properties of iteration
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Adjoint Lifting Theorems for Categories of Algebras
- Equational axioms for regular sets
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads
- Generic Trace Semantics via Coinduction
- Generic Forward and Backward Simulations
- Presenting Distributive Laws