swMATH7311MaRDI QIDQ19351FDOQ19351
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-02138-1_1
Cited In (25)
- The rewriting logic semantics project: a progress report
- Session types for safe web service orchestration
- A formal model for service-oriented interactions
- A UTP semantic model for Orc language with execution status and fault handling
- DSOL: a declarative approach to self-adaptive service orchestrations
- Computational aspects of uncertainty profiles and angel-daemon games
- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
- BPEL2oWFN
- COWS
- Reasoning about orchestrations of web services using partial correctness
- Flow Caml
- Dist-Orc
- JOpera
- SWORD
- Jolie
- SynchAADL2Maude
- Combining behavioural types with security analysis
- Google Maps API
- JSFlow
- AO4BPEL
- cglib
- Towards a process calculus for REST: current state of the art
- NOW: orchestrating services in a nomadic network using a dedicated workflow language
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A denotational semantical model for Orc language
This page was built for software: Orc
