Pages that link to "Item:Q703525"
From MaRDI portal
The following pages link to Category theory for operational semantics (Q703525):
Displaying 14 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)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Bialgebraic Methods in Structural Operational Semantics (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)
