The following pages link to (Q4256313):
Displayed 5 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Well-behaved Translations between Structural Operational Semantics (Q2842565) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- Generalised Coinduction (Q4917033) (← links)