Pages that link to "Item:Q931099"
From MaRDI portal
The following pages link to Failure-free coordinators synthesis for component-based architectures (Q931099):
Displayed 3 items.
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (Q2799159) (← links)