Pages that link to "Item:Q4910414"
From MaRDI portal
The following pages link to Modular Bisimulation Theory for Computations and Values (Q4910414):
Displayed 5 items.
- Flag-based big-step semantics (Q516041) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) (← links)