Structural congruence for bialgebraic semantics

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
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
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
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
Foundations of Software Science and Computational Structures
Presenting Distributive Laws

Cited In (4)

Bi-inductive structural semantics
Title not available (Why is that?)
Distributive laws for monotone specifications
A categorical approach to coalgebraic fixpoint logic

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)