Distributive laws for monotone specifications

DOI10.1007/s00236-019-00333-xzbMath1432.68253OpenAlexW2963410756WikidataQ90834220 ScholiaQ90834220MaRDI QIDQ2329307

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• On tree coalgebras and coalgebra presentations
• Introduction to Coalgebra
• Structural Operational Semantics for Weighted Transition Systems
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoint Lifting Theorems for Categories of Algebras
• Bisimulation can't be traced
• Monoid-labeled transition systems
• Elements of Stream Calculus
• Semirings and Formal Power Series
• An introduction to (co)algebra and (co)induction

This page was built for publication: Distributive laws for monotone specifications