Orc
From MaRDI portal
Cited in
(25)- NOW: orchestrating services in a nomadic network using a dedicated workflow language
- Reasoning about orchestrations of web services using partial correctness
- Session types for safe web service orchestration
- The rewriting logic semantics project: a progress report
- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
- Towards a process calculus for REST: current state of the art
- A denotational semantical model for Orc language
- BPEL2oWFN
- COWS
- Flow Caml
- Dist-Orc
- JOpera
- SWORD
- Jolie
- SynchAADL2Maude
- A formal model for service-oriented interactions
- Google Maps API
- JSFlow
- AO4BPEL
- cglib
- Combining behavioural types with security analysis
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- DSOL: a declarative approach to self-adaptive service orchestrations
- Computational aspects of uncertainty profiles and angel-daemon games
- A UTP semantic model for Orc language with execution status and fault handling
This page was built for software: Orc
