Pages that link to "Item:Q3617743"
From MaRDI portal
The following pages link to Synthesis from Component Libraries (Q3617743):
Displaying 15 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- 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)
- Visibly pushdown modular games (Q515657) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Incorporating monitors in reactive synthesis without paying the price (Q2147214) (← links)
- Synthesizing structured reactive programs via deterministic tree automata (Q2346409) (← links)
- Dynamic Resource Allocation Games (Q2819456) (← links)
- Factorization for Component-Interaction Automata (Q2891388) (← links)
- Qualitative Approximate Behavior Composition (Q2915091) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- The Complexity of Synthesis from Probabilistic Components (Q3449469) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)