The following pages link to Orc (Q19351):
Displaying 13 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Towards a process calculus for REST: current state of the art (Q902704) (← links)
- A UTP semantic model for Orc language with execution status and fault handling (Q1633048) (← links)
- NOW: orchestrating services in a nomadic network using a dedicated workflow language (Q1951630) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- Computational aspects of uncertainty profiles and angel-daemon games (Q2441541) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures (Q3163407) (← links)
- A Denotational Semantical Model for Orc Language (Q3585046) (← links)
