The following pages link to (Q4422086):
Displaying 5 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- The tccp Interpreter (Q5170191) (← links)
