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
