The following pages link to (Q4965820):
Displaying 5 items.
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Exploiting Algebraic Laws to Improve Mechanized Axiomatizations (Q2848938) (← links)
- Abstract GSOS rules and a modular treatment of recursive definitions (Q2850841) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)