The following pages link to (Q4222979):
Displaying 13 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Equational approximations for tree automata completion (Q968530) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- The Maude LTL model checker (Q2851053) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q4222979) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)