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