The following pages link to (Q2852093):
Displayed 8 items.
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- On Well-Foundedness and Expressiveness of Promoted Tyft (Q2866315) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)