Pages that link to "Item:Q703525"
From MaRDI portal
The following pages link to Category theory for operational semantics (Q703525):
Displaying 18 items.
- Rational operational models (Q265819) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Well-behaved translations between structural operational semantics (Q2842565) (← links)
- Modularity of behaviours for mathematical operational semantics (Q2847814) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q2980965) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Pointwise extensions of GSOS-defined operations (Q3005990) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)