{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:24:35Z","timestamp":1743096275233,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319307336"},{"type":"electronic","value":"9783319307343"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30734-3_23","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:19:52Z","timestamp":1457770792000},"page":"344-359","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Expressiveness of Synchronization in Component Deployment"],"prefix":"10.1007","author":[{"given":"Jacopo","family":"Mauro","sequence":"first","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,13]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abate, P., Johannes, S.: Bootstrapping software distributions. In: CBSE 2013, pp. 131\u2013142. ACM (2013)","key":"23_CR1","DOI":"10.1145\/2465449.2465461"},{"unstructured":"Amazon. AWS CloudFormation. http:\/\/aws.amazon.com\/cloudformation\/","key":"23_CR2"},{"unstructured":"CenturyLink. Cloud Blueprints. http:\/\/www.centurylinkcloud.com\/products\/management\/blueprints","key":"23_CR3"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.ic.2014.11.002","volume":"239","author":"R Di Cosmo","year":"2014","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus: a component model for the cloud. Inf. Comput. 239, 100\u2013121 (2014)","journal-title":"Inf. Comput."},{"issue":"4:5","key":"23_CR5","first-page":"1","volume":"10","author":"FS de Boer","year":"2014","unstructured":"de Boer, F.S., Jaghoori, M.M., Laneve, C., Zavattaro, G.: Decidability problems for actor systems. Logical Meth. Comput. Sci. 10(4:5), 1\u201329 (2014)","journal-title":"Logical Meth. Comput. Sci."},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"FS de Boer","year":"1994","unstructured":"de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128\u2013157 (1994)","journal-title":"Inf. Comput."},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-39212-2_19","volume-title":"Automata, Languages, and Programming","author":"R Di Cosmo","year":"2013","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Component reconfiguration in the presence of conflicts. In: Fomin, F.V., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 187\u2013198. Springer, Heidelberg (2013)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33826-7_11","volume-title":"Software Engineering and Formal Methods","author":"R Di Cosmo","year":"2012","unstructured":"Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a formal component model for the cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"unstructured":"Flexiant. Bento Boxes. http:\/\/www.flexiant.com\/2012\/12\/03\/application-provisioning\/","key":"23_CR9"},{"unstructured":"Juju, devops distilled. https:\/\/juju.ubuntu.com\/","key":"23_CR10"},{"doi-asserted-by":"crossref","unstructured":"Lascu, T.A., Mauro, J., Zavattaro, G.: A planning tool supporting the deployment of cloud applications. In: ICTAI (2013)","key":"23_CR11","DOI":"10.1109\/ICTAI.2013.41"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/978-3-319-07602-7_16","volume-title":"Formal Aspects of Component Software","author":"TA Lascu","year":"2014","unstructured":"Lascu, T.A., Mauro, J., Zavattaro, G.: Automatic component deployment in the presence of circular dependencies. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 254\u2013272. Springer, Heidelberg (2014)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-662-48057-1_30","volume-title":"Mathematical Foundations of Computer Science 2015","author":"J Mauro","year":"2015","unstructured":"Mauro, J., Zavattaro, G.: On the complexity of reconfiguration in systems with legacy components. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 382\u2013393. Springer, Heidelberg (2015)"},{"key":"23_CR14","volume-title":"Computation: Finite and Infinite Machines","author":"M Minsky","year":"1967","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)"},{"unstructured":"Opscode. Chef. http:\/\/www.opscode.com\/chef\/","key":"23_CR15"},{"unstructured":"Puppetlabs. Puppet. http:\/\/puppetlabs.com\/","key":"23_CR16"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1007\/978-3-642-15155-2_54","volume-title":"Mathematical Foundations of Computer Science 2010","author":"P Schnoebelen","year":"2010","unstructured":"Schnoebelen, P.: Revisiting Ackermann-hardness for lossy counter machines and reset Petri nets. In: Hlin\u011bn\u00fd, P., Ku\u010dera, A. (eds.) MFCS 2010. LNCS, vol. 6281, pp. 616\u2013628. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30734-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:24:36Z","timestamp":1720787076000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-30734-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319307336","9783319307343"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30734-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}