The following pages link to Dist-Orc (Q22032):
Displaying 5 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)