Pages that link to "Item:Q5166610"
From MaRDI portal
The following pages link to Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610):
Displaying 11 items.
- On the aggregation problem for synthesized web services (Q389232) (← links)
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Parametrized automata simulation and application to service composition (Q485834) (← links)
- Web services composition: complexity and models (Q499345) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- On the computational complexity of behavioral description-based web service composition (Q650907) (← links)
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309) (← links)
- The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures (Q1679522) (← links)
- A controller synthesis framework for automated service composition (Q2177764) (← links)
- Automata for Specifying and Orchestrating Service Contracts (Q2974790) (← links)