Structural congruence for bialgebraic semantics
From MaRDI portal
Publication:338626
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
Related Items (2)
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
