{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:05Z","timestamp":1740099125963,"version":"3.37.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319975702"},{"type":"electronic","value":"9783319975719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-97571-9_11","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T08:55:24Z","timestamp":1534236924000},"page":"121-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Asynchronous Client-Side Coordination of Cluster Service Sessions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3446-9531","authenticated-orcid":false,"given":"Karolis","family":"Petrauskas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9175-9623","authenticated-orcid":false,"given":"Romas","family":"Baronas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., et al.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010). \nhttps:\/\/doi.org\/10.1145\/1721654.1721672","journal-title":"Commun. ACM"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/COMST.2008.4564478","volume":"10","author":"N Ayari","year":"2008","unstructured":"Ayari, N., Barbaron, D., Lefevre, L., Primet, P.: Fault tolerance for highly available internet services: concepts, approaches, and issues. IEEE Commun. Surv. Tutor. 10(2), 34\u201346 (2008). \nhttps:\/\/doi.org\/10.1109\/COMST.2008.4564478","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"20:20","DOI":"10.1145\/2460276.2462076","volume":"11","author":"P Bailis","year":"2013","unstructured":"Bailis, P., Ghodsi, A.: Eventual consistency today: limitations, extensions, and beyond. Queue 11(3), 20:20\u201320:32 (2013). \nhttps:\/\/doi.org\/10.1145\/2460276.2462076","journal-title":"Queue"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2014.07.003","volume":"48","author":"A Hinze","year":"2015","unstructured":"Hinze, A., Voisard, A.: EVA: an event algebra supporting complex event specification. Inf. Syst. 48, 1\u201325 (2015). \nhttps:\/\/doi.org\/10.1016\/j.is.2014.07.003","journal-title":"Inf. Syst."},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994). \nhttps:\/\/doi.org\/10.1145\/177492.177726","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR6","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1016\/j.ress.2015.05.021","volume":"142","author":"D Li","year":"2015","unstructured":"Li, D., Zhang, Q., Zio, E., Havlin, S., Kang, R.: Network reliability analysis based on percolation theory. Reliab. Eng. Syst. Saf. 142, 556\u2013562 (2015). \nhttps:\/\/doi.org\/10.1016\/j.ress.2015.05.021","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR8","unstructured":"Lowell, D.E., Chandra, S., Chen, P.M.: Exploring failure transparency and the limits of generic recovery. In: Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation, vol. 4, p. 15, OSDI 2000, USENIX Association, Berkeley (2000). Article No. 20"},{"key":"11_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/9781119198697","volume-title":"Event Processing for Business: Organizing the Real-Time Enterprise","author":"DC Luckham","year":"2015","unstructured":"Luckham, D.C.: Event Processing for Business: Organizing the Real-Time Enterprise. Wiley, Hoboken (2015). \nhttps:\/\/doi.org\/10.1002\/9781119198697"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015). \nhttps:\/\/doi.org\/10.1145\/2699417","journal-title":"Commun. ACM"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10723-013-9290-3","volume":"12","author":"D Petcu","year":"2014","unstructured":"Petcu, D.: Consuming resources and services from multiple clouds. J. Grid Comput. 12(2), 321\u2013345 (2014). \nhttps:\/\/doi.org\/10.1007\/s10723-013-9290-3","journal-title":"J. Grid Comput."},{"issue":"5","key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-013-5050-z","volume":"57","author":"W Tsai","year":"2014","unstructured":"Tsai, W., Bai, X., Huang, Y.: Software-as-a-service (saas): perspectives and challenges. Sci. Chin. Inf. Sci. 57(5), 1\u201315 (2014). \nhttps:\/\/doi.org\/10.1007\/s11432-013-5050-z","journal-title":"Sci. Chin. Inf. Sci."},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1435417.1435432","volume":"52","author":"W Vogels","year":"2009","unstructured":"Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40\u201344 (2009). \nhttps:\/\/doi.org\/10.1145\/1435417.1435432","journal-title":"Commun. ACM"},{"issue":"12","key":"11_CR14","doi-asserted-by":"publisher","first-page":"3485","DOI":"10.1109\/TPDS.2014.2377119","volume":"26","author":"R Xie","year":"2015","unstructured":"Xie, R., Wen, Y., Jia, X., Xie, H.: Supporting seamless virtual machine migration via named data networking in cloud data center. IEEE Trans. Parallel Distrib. Syst. 26(12), 3485\u20133497 (2015). \nhttps:\/\/doi.org\/10.1109\/TPDS.2014.2377119","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48153-2_6","volume-title":"Correct Hardware Design and Verification Methods","author":"Y Yu","year":"1999","unstructured":"Yu, Y., Manolios, P., Lamport, L.: Model checking TLA$$^+$$ specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54\u201366. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-48153-2_6"}],"container-title":["Communications in Computer and Information Science","Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-97571-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T09:04:32Z","timestamp":1534237472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-97571-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319975702","9783319975719"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-97571-9_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}