Dist-Orc
From MaRDI portal
Software:22032
No author found.
Related Items (5)
The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Towards verification of computation orchestration ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs
This page was built for software: Dist-Orc
