Structural congruence for bialgebraic semantics
From MaRDI portal
(Redirected from Publication:338626)
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
- scientific article; zbMATH DE number 3602653 (Why is no real title available?)
- scientific article; zbMATH DE number 1231637 (Why is no real title available?)
- scientific article; zbMATH DE number 1927579 (Why is no real title available?)
- scientific article; zbMATH DE number 1884420 (Why is no real title available?)
- A fixpoint theorem for complete categories
- Abstract GSOS rules and a modular treatment of recursive definitions
- Adding recursive constructs to bialgebraic semantics
- An introduction to (co)algebra and (co)induction
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Bialgebraic methods in structural operational semantics (invited talk)
- Bialgebraic semantics and recursion (extended abstract)
- Bialgebras for structural operational semantics: an introduction
- Bisimulation can't be traced
- Category theory for operational semantics
- Coalgebraic bisimulation-up-to
- Coequalizers and free triples
- Combining bialgebraic semantics and equations
- Compositional SOS and beyond: A coalgebraic view of open systems
- Continuous Lattices and Domains
- Distributive laws and decidable properties of SOS specifications
- Distributive laws for the coinductive solution of recursive equations
- Enhancements of the bisimulation proof method
- Foundations of Software Science and Computational Structures
- Functions as processes
- Introduction to bisimulation and coinduction
- Lax bialgebras and up-to techniques for weak bisimulations
- On the bisimulation proof method
- Presenting distributive laws
- Semirings and Formal Power Series
- Simulations in coalgebra
- Structural Operational Semantics for Weighted Transition Systems
- Structural induction and coinduction in a fibrational setting
- Structural operational semantics.
- The \(\pi\)-calculus: A theory of mobile processes
- The meaning of negative premises in transition system specifications. II
- Universal coalgebra: A theory of systems
Cited in
(13)- Bi-inductive structural semantics
- Bialgebras for structural operational semantics: an introduction
- Bialgebraic methods in structural operational semantics (invited talk)
- Foundations of Software Science and Computational Structures
- Bialgebraic foundations for the operational semantics of string diagrams
- Modular bialgebraic semantics and algebraic laws
- Distributive laws for monotone specifications
- Distributive laws for monotone specifications
- From bialgebraic semantics to congruence formats
- A categorical approach to coalgebraic fixpoint logic
- Adding recursive constructs to bialgebraic semantics
- Bialgebraic semantics and recursion (extended abstract)
- Combining bialgebraic semantics and equations
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)
