scientific article; zbMATH DE number 7441260
From MaRDI portal
Publication:5014802
zbMath1483.68182arXiv1709.00830MaRDI QIDQ5014802
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1709.00830
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Structural congruence for bialgebraic semantics
- Some undecidable properties of SOS specifications
- A general account of coinduction up-to
- Bialgebras for structural operational semantics: an introduction
- Simulations in coalgebra
- Universal coalgebra: A theory of systems
- Combining a monad and a comonad
- On tree coalgebras and coalgebra presentations
- Introduction to Coalgebra
- Structural Operational Semantics for Weighted Transition Systems
- Adjoint Lifting Theorems for Categories of Algebras
- Bisimulation can't be traced
- Monoid-labeled transition systems
- Semirings and Formal Power Series
- An introduction to (co)algebra and (co)induction
This page was built for publication:
