The following pages link to (Q4222852):
Displayed 6 items.
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q2703692) (← links)
- (Q2851059) (← links)
- (Q4222979) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)