Structural congruence for bialgebraic semantics
From MaRDI portal
Publication:338626
DOI10.1016/J.JLAMP.2016.08.001zbMATH Open1353.68173OpenAlexW2496918952MaRDI QIDQ338626FDOQ338626
Authors: 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
Recommendations
- Combining bialgebraic semantics and equations
- Bialgebraic methods in structural operational semantics (invited talk)
- Bialgebraic methods and modal logic in structural operational semantics
- Bialgebras for structural operational semantics: an introduction
- Structural operational semantics and modal logic, revisited
Cites Work
- Structural induction and coinduction in a fibrational setting
- Universal coalgebra: A theory of systems
- Coequalizers and free triples
- Structural operational semantics.
- Coalgebraic bisimulation-up-to
- Structural Operational Semantics for Weighted Transition Systems
- Functions as processes
- Bisimulation can't be traced
- Continuous Lattices and Domains
- Bialgebras for structural operational semantics: an introduction
- Category theory for operational semantics
- Title not available (Why is that?)
- On the bisimulation proof method
- Enhancements of the bisimulation proof method
- Simulations in coalgebra
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- The \(\pi\)-calculus: A theory of mobile processes
- A fixpoint theorem for complete categories
- 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
- Distributive laws for the coinductive solution of recursive equations
- Abstract GSOS rules and a modular treatment of recursive definitions
- Bialgebraic methods in structural operational semantics (invited talk)
- Introduction to bisimulation and coinduction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bialgebraic semantics and recursion (extended abstract)
- Distributive laws and decidable properties of SOS specifications
- 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
- Foundations of Software Science and Computational Structures
- Presenting distributive laws
Cited In (13)
- Bi-inductive structural semantics
- Bialgebraic methods in structural operational semantics (invited talk)
- Bialgebras for structural operational semantics: an introduction
- Foundations of Software Science and Computational Structures
- Modular bialgebraic semantics and algebraic laws
- Bialgebraic foundations for the operational semantics of string diagrams
- Distributive laws for monotone specifications
- Distributive laws for monotone specifications
- From bialgebraic semantics to congruence formats
- A categorical approach to coalgebraic fixpoint logic
- Bialgebraic semantics and recursion (extended abstract)
- Combining bialgebraic semantics and equations
- Adding recursive constructs to bialgebraic semantics
This page was built for publication: Structural congruence for bialgebraic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q338626)
