The following pages link to (Q2767190):
Displayed 5 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)