The following pages link to (Q4762648):
Displaying 7 items.
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
