Cited in
(16)- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- 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
- Twenty years of rewriting logic
This page was built for software: Dist-Orc