Dist-Orc

MaRDI QIDQ22032swMATHFDO

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