Cited in
(10)- Failure-free coordinators synthesis for component-based architectures
- Conformance notions for the coordination of interaction components
- Algorithms for synthesizing priorities in component-based systems
- SyncGen
- ITACA
- SOFA 2.0
- Automatic Generation of Adaptation Contracts
- A foundational theory of contracts for multi-party service composition
- Structural reconfiguration of systems under behavioral adaptation
- An algorithmic framework for synthesis of concurrent programs
This page was built for software: SYNTHESIS
