The following pages link to (Q3501865):
Displaying 6 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- Reasoning about interaction protocols for web service composition (Q2847794) (← links)
- Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection (Q3651460) (← links)