Structural congruence for bialgebraic semantics

DOI10.1016/j.jlamp.2016.08.001zbMath1353.68173OpenAlexW2496918952MaRDI QIDQ338626

Jurriaan Rot, Marcello M. Bonsangue

Publication date: 7 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.08.001

zbMATH Keywords

coalgebrastructural operational semanticsstructural congruence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Unnamed Item ⋮ Distributive laws for monotone specifications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bialgebras for structural operational semantics: an introduction
• Simulations in coalgebra
• Category theory for operational semantics
• Structural induction and coinduction in a fibrational setting
• Universal coalgebra: A theory of systems
• Compositional SOS and beyond: A coalgebraic view of open systems
• The meaning of negative premises in transition system specifications. II
• Adding recursive constructs to bialgebraic semantics
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Distributive laws for the coinductive solution of recursive equations
• A fixpoint theorem for complete categories
• Coequalizers and free triples
• Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
• Bialgebraic Methods in Structural Operational Semantics
• Coalgebraic Bisimulation-Up-To
• Introduction to Bisimulation and Coinduction
• Structural Operational Semantics for Weighted Transition Systems
• Functions as processes
• On the bisimulation proof method
• Bisimulation can't be traced
• Continuous Lattices and Domains
• Bialgebraic Semantics and Recursion
• Semirings and Formal Power Series
• Lax Bialgebras and Up-To Techniques for Weak Bisimulations
• Combining Bialgebraic Semantics and Equations
• An introduction to (co)algebra and (co)induction
• Enhancements of the bisimulation proof method
• Foundations of Software Science and Computational Structures
• Presenting Distributive Laws

This page was built for publication: Structural congruence for bialgebraic semantics