scientific article; zbMATH DE number 1497875
From MaRDI portal
Publication:4499306
Recommendations
Cited in
(27)- Companions, codensity and causality
- Corecursion up-to via causal transformations
- Distributive laws for the coinductive solution of recursive equations
- Bisimulation and coinduction enhancements: a historical perspective
- Coalgebraic semantics for timed processes
- Bialgebras for structural operational semantics: an introduction
- Bialgebraic methods in structural operational semantics (invited talk)
- Category theory for operational semantics
- Rule formats for timed processes
- Well-behaved translations between structural operational semantics
- scientific article; zbMATH DE number 7649945 (Why is no real title available?)
- Monoidal company for accessible functors
- Generalised coinduction
- Bialgebraic foundations for the operational semantics of string diagrams
- Distributive laws for monotone specifications
- Distributive laws for monotone specifications
- scientific article; zbMATH DE number 7471702 (Why is no real title available?)
- GSOS for probabilistic transition systems (extended abstract)
- Extending set functors to generalised metric spaces
- scientific article; zbMATH DE number 7649887 (Why is no real title available?)
- Adding recursive constructs to bialgebraic semantics
- Stream differential equations: specification formats and solution methods
- Modularity and implementation of mathematical operational semantics
- Product rules and distributive laws
- Bialgebraic methods and modal logic in structural operational semantics
- Enhanced coalgebraic bisimulation
- A general account of coinduction up-to
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499306)
