Pages that link to "Item:Q736807"
From MaRDI portal
The following pages link to Towards verification of computation orchestration (Q736807):
Displaying 4 items.
- 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)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)