{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:51:16Z","timestamp":1743151876442,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_4","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"44-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Ensuring Faultless Communication Behaviour in A Commercial Cloud"],"prefix":"10.1007","author":[{"given":"Ross","family":"Horne","sequence":"first","affiliation":[]},{"given":"Timur","family":"Umarov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"4_CR1","series-title":"LNCS","first-page":"13","volume-title":"ICA3PP 2010, Part I","author":"R Buyya","year":"2010","unstructured":"Buyya, R., Ranjan, R., Calheiros, R.N.: InterCloud: utility-oriented federation of cloud computing environments for scaling of application services. In: Hsu, C.-H., Yang, L.T., Park, J.H., Yeo, S.-S. (eds.) ICA3PP 2010, Part I. LNCS, vol. 6081, pp. 13\u201331. Springer, Heidelberg (2010)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Nurmi, D., Wolski, R., Grzegorczyk, C., Obertelli, G., Soman, S., Youseff, L., Zagorodnov, D.: The Eucalyptus open-source Cloud-Computing system. In: Cappello, F., Wang, C.L., Buyya, R. (eds.) CCGRID, pp. 124\u2013131. IEEE Computer Society (2009)","DOI":"10.1109\/CCGRID.2009.93"},{"issue":"5","key":"4_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MIC.2009.119","volume":"13","author":"B Sotomayor","year":"2009","unstructured":"Sotomayor, B., Montero, R.S., Llorente, I.M., Foster, I.T.: Virtual infrastructure management in private and hybrid clouds. IEEE Internet Comput. 13(5), 14\u201322 (2009)","journal-title":"IEEE Internet Comput."},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., et al.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"key":"4_CR5","first-page":"1","volume":"3","author":"A Barros","year":"2005","unstructured":"Barros, A., Dumas, M., Oaks, P.: A critical overview of the Web services choreography description language. BPTrends Newslett. 3, 1\u201324 (2005)","journal-title":"BPTrends Newslett."},{"key":"4_CR6","unstructured":"Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming. In: WS-CDL working report, W3C (2006)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M Carbone","year":"2012","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR8","series-title":"LNCS","first-page":"516","volume-title":"ECOOP 2008","author":"R Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-Based distributed programming in java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"4_CR9","series-title":"LNCS","first-page":"329","volume-title":"ECOOP 2010","author":"R Hu","year":"2010","unstructured":"Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in Java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"key":"4_CR10","series-title":"LNCS","first-page":"202","volume-title":"TOOLS 2012","author":"N Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"key":"4_CR11","series-title":"LNCS","first-page":"55","volume-title":"ICDCIT 2011","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/2103621.2103680","volume":"47","author":"S Basu","year":"2012","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. ACM SIGPLAN Notices 47(1), 191\u2013202 (2012)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Armstrong, J.: Getting Erlang to talk to the outside world. In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, pp. 64\u201372. ACM (2002)","DOI":"10.1145\/592849.592858"},{"issue":"2\u20133","key":"4_CR14","first-page":"191","volume":"42","author":"MH Simon Gay","year":"2005","unstructured":"Simon Gay, M.H.: Subtyping for session types in the pi calculus. J. Acta Inf. 42(2\u20133), 191\u2013225 (2005)","journal-title":"J. Acta Inf."},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"4_CR16","unstructured":"Corbett, J.C., Dean, J., Epstein, M., Fikes, A., Frost, C., Furman, J., Ghemawat, S., Gubarev, A., Heiser, C., Hochschild, P., et al.: Spanner: Google\u2019s globally-distributed database. In: Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, pp. 251\u2013264. USENIX Association (2012)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Ciobanu, G., Horne, R.: Non-interleaving operational semantics for geographically replicated databases. In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE (2013, in press)","DOI":"10.1109\/SYNASC.2013.64"},{"key":"4_CR18","series-title":"LNCS","first-page":"50","volume-title":"FORTE 2013 and FMOODS 2013","author":"L Bocchi","year":"2013","unstructured":"Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 50\u201365. Springer, Heidelberg (2013)"},{"key":"4_CR19","unstructured":"Neykova, R.: Session types go dynamic or how to verify your Python conversations. In: PLACES\u201913, Rome, Italy, 23 March, pp. 34\u201339 (2013)"},{"key":"4_CR20","series-title":"LNCS","first-page":"130","volume-title":"RV 2013","author":"R Hu","year":"2013","unstructured":"Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130\u2013148. Springer, Heidelberg (2013)"},{"issue":"6","key":"4_CR21","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1016\/j.future.2008.12.001","volume":"25","author":"R Buyya","year":"2009","unstructured":"Buyya, R., Yeo, C.S., Venugopal, S., Broberg, J., Brandic, I.: Cloud computing and emerging it platforms: vision, hype, and reality for delivering computing as the 5th utility. Future Gener. Comput. Syst. 25(6), 599\u2013616 (2009)","journal-title":"Future Gener. Comput. Syst."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Bernstein, D., Ludvigson, E., Sankar, K., Diamond, S., Morrow, M.: Blueprint for the Intercloud - protocols and formats for cloud computing interoperability. In: Perry, M., Sasaki, H., Ehmann, M., Bellot, G.O., Dini, O. (eds.) ICIW, pp. 328\u2013336. IEEE Computer Society (2009)","DOI":"10.1109\/ICIW.2009.55"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Cavalcante, E., Lopes, F., Batista, T.V., Cacho, N., Delicato, F.C., Pires, P.F.: Cloud integrator: building value-added services on the cloud. In: NCCA, pp. 135\u2013142 (2011)","DOI":"10.1109\/NCCA.2011.29"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Pawluk, P., Simmons, B., Smit, M., Litoiu, M., Mankovski, S.: Introducing STRATOS: a cloud broker service. In: Chang, R. (ed.) IEEE CLOUD, pp. 891\u2013898. IEEE (2012)","DOI":"10.1109\/CLOUD.2012.24"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T05:27:55Z","timestamp":1674883675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}