Towards a Formal Component Model for the Cloud.

Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro

Browse the full SEFM paper archive.