Distributive laws for monotone specifications
From MaRDI portal
Publication:5014802
zbMATH Open1483.68182arXiv1709.00830MaRDI QIDQ5014802FDOQ5014802
Authors: Jurriaan Rot
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1709.00830
Recommendations
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Cites Work
- Universal coalgebra: A theory of systems
- On tree coalgebras and coalgebra presentations
- Structural operational semantics.
- Structural Operational Semantics for Weighted Transition Systems
- Title not available (Why is that?)
- Bisimulation can't be traced
- Bialgebras for structural operational semantics: an introduction
- Combining a monad and a comonad
- Simulations in coalgebra
- Adjoint Lifting Theorems for Categories of Algebras
- Structural congruence for bialgebraic semantics
- Title not available (Why is that?)
- Semirings and Formal Power Series
- An introduction to (co)algebra and (co)induction
- Monoid-labeled transition systems
- Some undecidable properties of SOS specifications
- A general account of coinduction up-to
- Introduction to coalgebra. Towards mathematics of states and observation
Cited In (8)
- Rational operational models
- Monotonic distributive semilattices
- Category theory for operational semantics
- Well-behaved translations between structural operational semantics
- Modularity of behaviours for mathematical operational semantics
- Combining a monad and a comonad
- Distributive laws for monotone specifications
- Presenting distributive laws
This page was built for publication: Distributive laws for monotone specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014802)