Dist-Orc

MaRDI QIDQ22032swMATHFDO

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

Cited in

(16)

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

This page was built for software: Dist-Orc