Distributive laws for monotone specifications

DOI10.1007/S00236-019-00333-XMaRDI QIDQ2329307zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jurriaan Rot

Publication date 17 October 2019

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00236-019-00333-x

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Distributive laws for monotone specifications
• Distributive laws and decidable properties of SOS specifications
• Category theory for operational semantics
• scientific article; zbMATH DE number 1497875
• Presenting distributive laws

Cites work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A general account of coinduction up-to
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoint Lifting Theorems for Categories of Algebras
• An introduction to (co)algebra and (co)induction
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Bialgebras for structural operational semantics: an introduction
• Bisimulation can't be traced
• Combining a monad and a comonad
• Distributive laws for monotone specifications
• Elements of stream calculus (an extensive exercise in coinduction)
• 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
• Stream differential equations: specification formats and solution methods
• Structural Operational Semantics for Weighted Transition Systems
• Structural congruence for bialgebraic semantics
• Structural operational semantics.
• Universal coalgebra: A theory of systems

Cited in

(9)

• Category theory for operational semantics
• Presenting distributive laws
• Monotonic distributive semilattices
• Well-behaved translations between structural operational semantics
• Monoidal company for accessible functors
• Distributive laws for monotone specifications
• Distributive laws and decidable properties of SOS specifications
• Presenting distributive laws
• 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)