Pages that link to "Item:Q5756609"

The following pages link to A Language for Task Orchestration and Its Semantic Properties (Q5756609):

Displaying 20 items.

• A model of context-dependent component connectors (Q436387) (← links)
• Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
• A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
• Channel-based coordination via constraint satisfaction (Q541681) (← links)
• Towards verification of computation orchestration (Q736807) (← links)
• The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
• A timed semantics of Orc (Q935476) (← links)
• Slicing for architectural analysis (Q988166) (← 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)
• QoS-aware management of monotonic service orchestrations (Q2248094) (← links)
• Application of branching cells to QoS aware service orchestrations (Q2253177) (← links)
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
• Coordination Models Orc and Reo Compared (Q2866319) (← links)
• The Orc Programming Language (Q3634722) (← links)
• Monotonicity in Service Orchestrations (Q3636849) (← links)
• Data Centric Workflows for Crowdsourcing (Q5100748) (← links)
• The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
• CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)