Dist-Orc

swMATH10063MaRDI QIDQ22032FDOQ22032

Author name not available (Why is that?)

Official website: http://arxiv.org/abs/1009.4260

Cited In (16)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Towards verification of computation orchestration
• JavaFAN
• ITP/OCL
• BPEL2oWFN
• Orc
• MMT
• K tool
• MOMENT2
• LTSA-WS
• vlogsl
• SynchAADL2Maude
• Java+ITP
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs

This page was built for software: Dist-Orc