The following pages link to (Q4499306):
Displaying 25 items.
- A general account of coinduction up-to (Q523132) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Category theory for operational semantics (Q703525) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Rule Formats for Timed Processes (Q2841307) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Well-behaved Translations between Structural Operational Semantics (Q2842565) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- (Q2980965) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Generalised Coinduction (Q4917033) (← links)
- (Q5028467) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- (Q5875344) (← links)
- (Q5875399) (← links)
