Component reconfiguration in the presence of conflicts
DOI10.1007/978-3-642-39212-2_19zbMATH Open1334.68047DBLPconf/icalp/CosmoMZZ13OpenAlexW1768932472WikidataQ56901798 ScholiaQ56901798MaRDI QIDQ5327433FDOQ5327433
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
Recommendations
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)
Cited In (6)
- On observed reproducibility in network configuration management
- Title not available (Why is that?)
- When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
- On the expressiveness of synchronization in component deployment
- On the Complexity of Reconfiguration in Systems with Legacy Components
- Aeolus: a component model for the cloud
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)