Orc
From MaRDI portal
Software:19351
swMATH7311MaRDI QIDQ19351FDOQ19351
Author name not available (Why is that?)
Cited In (13)
- 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
- Reasoning about orchestrations of web services using partial correctness
- Combining behavioural types with security analysis
- 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
