{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:21:01Z","timestamp":1725848461719},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319289335"},{"type":"electronic","value":"9783319289342"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28934-2_3","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T15:32:56Z","timestamp":1453995176000},"page":"48-65","source":"Crossref","is-referenced-by-count":1,"title":["Asynchronous Coordination of Stateful Autonomic Managers in the Cloud"],"prefix":"10.1007","author":[{"given":"Rim","family":"Abid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noel","family":"De Palma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soguy Mak-Kare","family":"Gueye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-319-02444-8_14","volume-title":"Automated Technology for Verification and Analysis","author":"N Palma De","year":"2013","unstructured":"De Palma, N., Sala\u00fcn, G., Bongiovanni, F., Abid, R.: Verification of a dynamic management protocol for cloud applications. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 178\u2013192. Springer, Heidelberg (2013)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T.: Automatic verification of interactions in asynchronous systems with unbounded buffers. In: Proceedings of ASE 2014, pp. 743\u2013754. ACM (2014)","DOI":"10.1145\/2642937.2643016"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"3_CR4","unstructured":"Brogi, A., Canciani, A., Soldani, J., Wang, P.: Modelling the behaviour of management operations in cloud-based applications. In: Proceedings of PNSE 2015, vol. 1372 of CEUR Workshop Proceedings, pp. 191\u2013205 (2015)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Buyya, R., Calheiros, R.N., Li, X.: Autonomic cloud computing: open challenges and architectural elements. In: Proceedings of EAIT 2012, pp. 3\u201310. IEEE Computer Society (2012)","DOI":"10.1109\/EAIT.2012.6407847"},{"key":"3_CR6","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4). INRIA\/VASY (2011)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.ic.2014.11.002","volume":"239","author":"R Cosmo Di","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."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Delaval, G., Gueye, S.M.K., Rutten, E., De Palma, N.: Modular coordination of multiple autonomic managers. In: Proceedings of CBSE 2014, pp. 3\u201312. ACM (2014)","DOI":"10.1145\/2602458.2602465"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. In: Proceedings of LCTES 2010, pp. 57\u201366. ACM (2010)","DOI":"10.1145\/1755888.1755898"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Etchevers, X., Sala\u00fcn, G., Boyer, F., Coupaye, T., De Palma, N.: Reliable self-deployment of cloud applications. In: Proceedings of SAC 2014, pp. 1331\u20131338. ACM (2014)","DOI":"10.1145\/2554850.2554951"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. STTT 15(2), 89\u2013107 (2013)","journal-title":"STTT"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/2553070.2553074","volume":"47","author":"SMK Gueye","year":"2013","unstructured":"Gueye, S.M.K., De Palma, N., Rutten, E., Tchana, A.: Coordinating multiple administration loops using discrete control. SIGOPS Oper. Syst. Rev. 47(3), 18\u201325 (2013)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Gueye, S.M.K., Rutten, E., Tchana, A.: Discrete control for the coordination of administration loops. In: Proceedings of UCC 2012, pp. 353\u2013358. IEEE Computer Society (2012)","DOI":"10.1109\/UCC.2012.57"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains: And The Quest for Quantified Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains: And The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002)"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.P.: Automated Compositional Markov Chain Generation for a Plain-Old Telephone System. Sci. Comput. Program. 36(1), 97\u2013127 (2000)","journal-title":"Sci. Comput. Program."},{"key":"3_CR16","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison Wesley, Reading (1979)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380584.1380585","volume":"40","author":"Markus C. Huebscher","year":"2008","unstructured":"Huebscher, M.C., McCann, J.A.: A Survey of Autonomic Computing Degrees, Models and Applications. ACM Comput. Surv. 40 (2008)","journal-title":"ACM Computing Surveys"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Kephart, J.O.: Research Challenges of Autonomic Computing. In: Proceedings of ICSE 2005, pp. 15\u201322. ACM (2005)","DOI":"10.1145\/1062455.1062464"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"D Thivolle","year":"2008","unstructured":"Thivolle, D., Mateescu, R.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"De Oliveira, F.A., Ledoux, T., Sharrock, R.: A framework for the coordination of multiple autonomic managers in cloud environments. In: Proceedings of SASO 2013, pp. 179\u2013188. IEEE (2013)","DOI":"10.1109\/SASO.2013.27"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-30829-1_3","volume-title":"Coordination Models and Languages","author":"R Sharrock","year":"2012","unstructured":"Sharrock, R., Ledoux, T., Alvares de Oliveira Jr., F.: Synchronization of multiple autonomic control loops: application to cloud computing. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 29\u201343. Springer, Heidelberg (2012)"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10586-006-7561-5","volume":"9","author":"M Parashar","year":"2006","unstructured":"Parashar, M., Liu, H., Li, Z., Matossian, V., Schmidt, C., Zhang, G., Hariri, S.: AutoMate: enabling autonomic applications on the grid. Cluster Comput. 9(2), 161\u2013174 (2006)","journal-title":"Cluster Comput."},{"issue":"1","key":"3_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The Control of Discrete Event Systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"3\/4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1504\/IJCCBS.2011.042328","volume":"2","author":"AB Seboui","year":"2011","unstructured":"Seboui, A.B., Hadj-Alouane, N.B., Delaval, G., Rutten, \u00c9., Yeddes, M.: An approach for the synthesis of decentralised supervisors for distributed adaptive systems. Int. J. Crit. Comput.-Based Syst. 2(3\/4), 246\u2013265 (2011)","journal-title":"Int. J. Crit. Comput.-Based Syst."},{"issue":"3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"WM Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.G.: On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3), 637\u2013659 (1987)","journal-title":"SIAM J. Control Optim."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28934-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T02:53:11Z","timestamp":1567565591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28934-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319289335","9783319289342"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28934-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}