{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:21:53Z","timestamp":1749334913993},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_11","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T18:46:25Z","timestamp":1348598785000},"page":"156-171","source":"Crossref","is-referenced-by-count":18,"title":["Towards a Formal Component Model for the Cloud"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: MPM: a modular package manager. In: CBSE 2011: 14th Symposium on Component Based Software Eng., pp. 179\u2013188. ACM (2011)","key":"11_CR1","DOI":"10.1145\/2000229.2000255"},{"issue":"2-3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/j.tcs.2004.09.022","volume":"331","author":"F. Achermann","year":"2005","unstructured":"Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theor. Comput. Sci.\u00a0331(2-3), 367\u2013396 (2005)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC \/ SIGSOFT FSE (2001)","key":"11_CR3","DOI":"10.1145\/503209.503226"},{"issue":"11-12","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: The fractal component model and its support in java. Softw., Pract. Exper.\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Softw., Pract. Exper."},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.tcs.2006.02.006","volume":"356","author":"M. Bundgaard","year":"2006","unstructured":"Bundgaard, M., Hildebrandt, T.T., Godskesen, J.C.: A cps encoding of name-passing in higher-order mobile embedded resources. Theor. Comput. Sci.\u00a0356(3), 422\u2013439 (2006)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Cloud Foundry, deploy & scale your applications in seconds (retrieved April 2012), http:\/\/www.cloudfoundry.com\/","key":"11_CR6"},{"doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008 (2008)","key":"11_CR7","DOI":"10.1145\/1490283.1490292"},{"unstructured":"Juju, devops distilled (retrieved April 2012), https:\/\/juju.ubuntu.com\/","key":"11_CR8"},{"issue":"10","key":"11_CR9","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"K.K. Lau","year":"2007","unstructured":"Lau, K.K., Wang, Z.: Software component models. IEEE Trans. Software Eng.\u00a033(10), 709\u2013724 (2007)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. i\/ii. Inf. Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"i\/ii. Inf. Comput."},{"unstructured":"Minsky, M.: Computation: finite and infinite machines. Prentice-Hall (1967)","key":"11_CR11"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-15640-3_11","volume-title":"Trustworthly Global Computing","author":"F. Montesi","year":"2010","unstructured":"Montesi, F., Sangiorgi, D.: A Model of Evolvable Components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol.\u00a06084, pp. 153\u2013171. Springer, Heidelberg (2010)"},{"unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis. Institut f\u00fcr Instrumentelle Mathematik, Bonn, Germany (1962)","key":"11_CR13"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"Rackoff, C.: The covering and boundedness problems for vector addition systems. Theoret. Comp. Sci.\u00a06, 223\u2013231 (1978)","journal-title":"Theoret. Comp. Sci."},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A. Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 146\u2013178. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Seinturier, L., Merle, P., Fournier, D., Dolet, N., Schiavoni, V., Stefani, J.B.: Reconfigurable SCA applications with the FraSCAti platform. In: IEEE SCC, pp. 268\u2013275. IEEE (2009)","key":"11_CR16","DOI":"10.1109\/SCC.2009.27"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T01:53:48Z","timestamp":1562205228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}