The following pages link to A hierarchy of SOS rule formats (Q2852093):
Displaying 20 items.
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Semantics and expressiveness of ordered SOS (Q1012119) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Turning SOS rules into equations (Q1327393) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Structural operational semantics with first-order logic (Q2810690) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference) (Q2866315) (← links)
- A congruence rule format with universal quantification (Q2871833) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- (Q4417889) (← links)
- (Q5133501) (← links)
- The Meaning of Ordered SOS (Q5385997) (← links)