Distributive laws for monotone specifications
From MaRDI portal
Publication:2329307
DOI10.1007/S00236-019-00333-XzbMATH Open1432.68253DBLPjournals/acta/Rot19OpenAlexW2963410756WikidataQ90834220 ScholiaQ90834220MaRDI QIDQ2329307FDOQ2329307
Authors: Jurriaan Rot 
Publication date: 17 October 2019
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-019-00333-x
Recommendations
Cites Work
- Universal coalgebra: A theory of systems
- On tree coalgebras and coalgebra presentations
- Structural operational semantics.
- Structural Operational Semantics for Weighted Transition Systems
- Accessible Categories: The Foundations of Categorical Model Theory
- Title not available (Why is that?)
- Bisimulation can't be traced
- Title not available (Why is that?)
- Bialgebras for structural operational semantics: an introduction
- Combining a monad and a comonad
- Simulations in coalgebra
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Adjoint Lifting Theorems for Categories of Algebras
- Structural congruence for bialgebraic semantics
- Semirings and Formal Power Series
- An introduction to (co)algebra and (co)induction
- Monoid-labeled transition systems
- Some undecidable properties of SOS specifications
- Title not available (Why is that?)
- A general account of coinduction up-to
- Elements of stream calculus (an extensive exercise in coinduction)
- Introduction to coalgebra. Towards mathematics of states and observation
- Stream differential equations: specification formats and solution methods
- Distributive laws for monotone specifications
Cited In (9)
- Monotonic distributive semilattices
- Category theory for operational semantics
- Well-behaved translations between structural operational semantics
- Monoidal company for accessible functors
- Distributive laws for monotone specifications
- Presenting distributive laws
- Presenting distributive laws
- Distributive laws and decidable properties of SOS specifications
- Product rules and 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 Q2329307)
