{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:49:37Z","timestamp":1725738577069},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642392115"},{"type":"electronic","value":"9783642392122"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39212-2_19","type":"book-chapter","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T13:09:19Z","timestamp":1372770559000},"page":"187-198","source":"Crossref","is-referenced-by-count":8,"title":["Component Reconfiguration in the Presence of Conflicts"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"2228","DOI":"10.1016\/j.jss.2012.02.018","volume":"85","author":"P. Abate","year":"2012","unstructured":"Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: Dependency solving: a separate concern in component evolution management. J. Syst. Software\u00a085, 2228\u20132240 (2012)","journal-title":"J. Syst. Software"},{"key":"19_CR2","unstructured":"Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.K.: General decidability theorems for infinite-state systems. In: LICS, pp. 313\u2013321. IEEE (1996)"},{"key":"19_CR3","unstructured":"Clayberg, E., Rubel, D.: Eclipse Plug-ins, 3rd edn. Addison-Wesley (2008)"},{"key":"19_CR4","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Component reconfiguration in the presence of conflicts. Tech. rep. Aeolus Project (2013), \n                    \n                      http:\/\/hal.archives-ouvertes.fr\/hal-00816468"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008 (2008)","DOI":"10.1145\/1490283.1490292"},{"key":"19_CR6","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. Cosmo Di","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.\u00a07504, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A. Finkel","year":"2001","unstructured":"Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theoretical Computer Science\u00a0256, 63\u201392 (2001)","journal-title":"Theoretical Computer Science"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: a deployment management system. In: PLDI 2012: Programming Language Design and Implementation, pp. 263\u2013274. ACM (2012)","DOI":"10.1145\/2345156.2254096"},{"key":"19_CR9","unstructured":"Hewson, J.A., Anderson, P., Gordon, A.D.: A declarative approach to automated configuration. In: LISA 2012: Large Installation System Administration Conference, pp. 51\u201366 (2012)"},{"issue":"1","key":"19_CR10","first-page":"19","volume":"31","author":"L. Kanies","year":"2006","unstructured":"Kanies, L.: Puppet: Next-generation configuration management. The USENIX Magazine\u00a031(1), 19\u201325 (2006)","journal-title":"The USENIX Magazine"},{"key":"19_CR11","unstructured":"Lipton, R.J.: The Reachability Problem Requires Exponential Space. Research report 62, Department of Computer Science, Yale University (1976)"},{"key":"19_CR12","unstructured":"OSGi Alliance: OSGi Service Platform, Release 3. IOS Press, Inc. (2003)"},{"key":"19_CR13","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."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39212-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:43:06Z","timestamp":1558316586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39212-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642392115","9783642392122"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39212-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}