The following pages link to The Meaning of Ordered SOS (Q5385997):
Displaying 5 items.
- Some undecidable properties of SOS specifications (Q511941) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Semantics and expressiveness of ordered SOS (Q1012119) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- A hierarchy of SOS rule formats (Q2852093) (← links)