Component reconfiguration in the presence of conflicts

DOI10.1007/978-3-642-39212-2_19MaRDI QIDQ5327433zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00909336/file/icalp-2013.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the Complexity of Reconfiguration in Systems with Legacy Components
• \({\mathcal{COCONF}}\): conceptual language-based configuration
• Structural reconfiguration of systems under behavioral adaptation
• scientific article; zbMATH DE number 2089407
• Aeolus: a component model for the cloud

Cited in

(7)

• On observed reproducibility in network configuration management
• On the expressiveness of synchronization in component deployment
• On the Complexity of Reconfiguration in Systems with Legacy Components
• scientific article; zbMATH DE number 1952049 (Why is no real title available?)
• When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
• Aeolus: a component model for the cloud
• A note on the parameterised complexity of coverability in vector addition systems

This page was built for publication: Component reconfiguration in the presence of conflicts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327433)