Pages that link to "Item:Q2842565"
From MaRDI portal
The following pages link to Well-behaved Translations between Structural Operational Semantics (Q2842565):
Displaying 8 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← 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)
- Canonical automata via distributive law homomorphisms (Q6653763) (← links)
