Distributive laws for monotone specifications
From MaRDI portal
Publication:5014802
Recommendations
Cites work
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- A general account of coinduction up-to
- Adjoint Lifting Theorems for Categories of Algebras
- An introduction to (co)algebra and (co)induction
- Bialgebras for structural operational semantics: an introduction
- Bisimulation can't be traced
- Combining a monad and a comonad
- Distributive laws and decidable properties of SOS specifications
- Introduction to coalgebra. Towards mathematics of states and observation
- Monoid-labeled transition systems
- On tree coalgebras and coalgebra presentations
- Semirings and Formal Power Series
- Simulations in coalgebra
- Some undecidable properties of SOS specifications
- Structural Operational Semantics for Weighted Transition Systems
- Structural congruence for bialgebraic semantics
- Structural operational semantics.
- Universal coalgebra: A theory of systems
Cited in
(11)- Category theory for operational semantics
- Monotonic distributive semilattices
- Well-behaved translations between structural operational semantics
- Monoidal company for accessible functors
- Modularity of behaviours for mathematical operational semantics
- Distributive laws for monotone specifications
- Distributive laws and decidable properties of SOS specifications
- Combining a monad and a comonad
- Presenting distributive laws
- Product rules and distributive laws
- Rational operational models
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)
