Component Reconfiguration in the Presence of Conflicts
From MaRDI portal
Publication:5327433
DOI10.1007/978-3-642-39212-2_19zbMath1334.68047OpenAlexW1768932472WikidataQ56901798 ScholiaQ56901798MaRDI QIDQ5327433
Jacopo Mauro, Gianluigi Zavattaro, Roberto Di Cosmo, Stefano Zacchiroli
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
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
