Dist-Orc

swMATH10063MaRDI QIDQ22032FDOQ22032

Author name not available (Why is that?)

Cited In (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