scientific article; zbMATH DE number 1497875
From MaRDI portal
Publication:4499306
Recommendations
Cited in
(30)- Bialgebraic methods and modal logic in structural operational semantics
- Adding recursive constructs to bialgebraic semantics
- Bialgebraic foundations for the operational semantics of string diagrams
- Corecursion up-to via causal transformations
- Bisimulation and coinduction enhancements: a historical perspective
- Distributive laws for monotone specifications
- Distributive laws for the coinductive solution of recursive equations
- Coalgebraic semantics for timed processes
- Rule formats for timed processes
- GSOS for probabilistic transition systems (extended abstract)
- Well-behaved translations between structural operational semantics
- Bialgebraic methods in structural operational semantics (invited talk)
- Stream differential equations: specification formats and solution methods
- Companions, codensity and causality
- scientific article; zbMATH DE number 1314227 (Why is no real title available?)
- Monoidal company for accessible functors
- Extending set functors to generalised metric spaces
- Generalised coinduction
- Distributive laws for monotone specifications
- No-go theorems for distributive laws
- Modularity and implementation of mathematical operational semantics
- A general account of coinduction up-to
- Enhanced coalgebraic bisimulation
- Product rules and distributive laws
- Coinduction: automata, formal proof, companions (invited paper)
- Bialgebraic semantics for string diagrams
- Bialgebras for structural operational semantics: an introduction
- No go theorems: directed containers that do not distribute over distribution monads
- Category theory for operational semantics
- On graded monads, distributive laws and costrong functors
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)
