The following pages link to A timed semantics of Orc (Q935476):
Displaying 14 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Modelling web-service uncertainty: the angel/daemon approach (Q826324) (← links)
- A timed semantics of Orc (Q935476) (← links)
- A UTP semantic model for Orc language with execution status and fault handling (Q1633048) (← links)
- The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures (Q1679522) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Computational aspects of uncertainty profiles and angel-daemon games (Q2441541) (← links)
- A Denotational Semantic Theory of Concurrent Systems (Q2945722) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- The Robustness of Periodic Orchestrations in Uncertain Evolving Environments (Q3451171) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)