Pages that link to "Item:Q5756609"
From MaRDI portal
The following pages link to A Language for Task Orchestration and Its Semantic Properties (Q5756609):
Displayed 10 items.
- A model of context-dependent component connectors (Q436387) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- A timed semantics of Orc (Q935476) (← links)
- Slicing for architectural analysis (Q988166) (← links)
- Coordination Models Orc and Reo Compared (Q2866319) (← links)
- The Orc Programming Language (Q3634722) (← links)
- Monotonicity in Service Orchestrations (Q3636849) (← 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)