The following pages link to (Q2722043):
Displaying 5 items.
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
