On the expressiveness of synchronization in component deployment

DOI10.1007/978-3-319-30734-3_23MaRDI QIDQ2026806zbMATH OpenOpenAlexWikidataFDO

Authors Jacopo Mauro, Gianluigi Zavattaro

Publication date 20 May 2021

Full work available at URL https://hal.inria.fr/hal-01334772/file/DeBoerFest.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Aeolus: a component model for the cloud
• Automatic application deployment in the cloud: from practice to theory and back (invited paper)
• Validating timed models of deployment components with parametric concurrency
• Component reconfiguration in the presence of conflicts
• Distribution and synchronized automata

Cited in

(2)

• Automatic application deployment in the cloud: from practice to theory and back (invited paper)
• Aeolus: a component model for the cloud

This page was built for publication: On the expressiveness of synchronization in component deployment

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