Aeolus: a component model for the cloud
From MaRDI portal
Publication:476172
DOI10.1016/j.ic.2014.11.002zbMath1309.68019OpenAlexW2118338955WikidataQ56901755 ScholiaQ56901755MaRDI QIDQ476172
Jacopo Mauro, Stefano Zacchiroli, Roberto Di Cosmo, Gianluigi Zavattaro
Publication date: 28 November 2014
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2014.11.002
Related Items
On the Complexity of Reconfiguration in Systems with Legacy Components, Estimating costs of multi-component enterprise applications
Uses Software
Cites Work
- Unnamed Item
- A calculus of mobile processes. II
- The covering and boundedness problems for vector addition systems
- A calculus for reasoning about software composition
- A CPS encoding of name-passing in higher-order mobile embedded resources
- Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
- Component Reconfiguration in the Presence of Conflicts
- Global Computing
- Well-structured transition systems everywhere!