Pages that link to "Item:Q2369036"
From MaRDI portal
The following pages link to Executable structural operational semantics in Maude (Q2369036):
Displaying 12 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Modular Structural Operational Semantics with Strategies (Q2866312) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Hierarchical Design Rewriting with Maude (Q5179129) (← links)
