The following pages link to (Q2703692):
Displaying 10 items.
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q2703692) (← links)
- (Q2851057) (← links)
- (Q2851059) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
