{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:25:51Z","timestamp":1743038751911,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030148119"},{"type":"electronic","value":"9783030148126"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-14812-6_22","type":"book-chapter","created":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T23:44:24Z","timestamp":1554853464000},"page":"359-377","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Consistency as a Branching Time Notion"],"prefix":"10.1007","author":[{"given":"Astrid","family":"Kiehn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohnish","family":"Pattathurajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,6]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.2298\/CSIS130122007A","volume":"11","author":"MB Andriamiarina","year":"2014","unstructured":"Andriamiarina, M.B., Mery, D., Singh, N.K.: Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. 11, 251\u2013270 (2014)","journal-title":"Comput. Sci. Inf. Syst."},{"key":"22_CR2","unstructured":"Babaoglu, \u00d6., Marzullo, K.: Consistent global states of distributed systems: fundamental concepts and mechanisms. Distrib. Syst. 53 (1993)"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0304-3975(93)90152-J","volume":"114","author":"G Boudol","year":"1993","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing localities. Theor. Comput. Sci. 114(1), 31\u201361 (1993)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1016\/S0304-3975(02)00566-2","volume":"290","author":"G Cao","year":"2003","unstructured":"Cao, G., Singhal, M.: Checkpointing with mutable checkpoints. Theor. Comput. Sci. 290(2), 1127\u20131148 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"12","key":"22_CR5","doi-asserted-by":"publisher","first-page":"1213","DOI":"10.1109\/71.737697","volume":"9","author":"G Cao","year":"1998","unstructured":"Cao, G., Singhal, M.: On coordinated checkpointing in distributed systems. IEEE Trans. Parallel Distrib. Syst. 9(12), 1213\u20131225 (1998)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Castellani, I.: Process algebras with localities. In: Handbook of Process Algebra. North-Holland (2001)","DOI":"10.1016\/B978-044482830-9\/50033-3"},{"issue":"12","key":"22_CR7","doi-asserted-by":"publisher","first-page":"1718","DOI":"10.14778\/3137765.3137777","volume":"10","author":"P Carbone","year":"2017","unstructured":"Carbone, P., Ewen, S., Fora, G., Heif, S., Richter, S., Tzoumas, K.: State management in Apache Flink - consistent stateful distributed stream processing. VLDB Endowment 10(12), 1718\u20131729 (2017)","journal-title":"VLDB Endowment"},{"key":"22_CR8","unstructured":"Carbone, P., Fora, G., Ewen, S., Haridi, S., Tzoumas, K.: Leightweight asynchronous snapshots for distributed dataflows. arXiv preprint arXiv:1506.08603 (2015)"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. (TOCS) 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst. (TOCS)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.scico.2017.03.009","volume":"160","author":"A Kiehn","year":"2018","unstructured":"Kiehn, A., Aggarwal, D.: A study of mutable checkpointing and related algorithms. Sci. Comput. Program. 160, 78\u201392 (2018)","journal-title":"Sci. Comput. Program."},{"key":"22_CR11","unstructured":"Kiehn, A., Mittal, A.: Partial snapshotting: checkpoint dissemination and termination. Technical report TR-IITMANDI-2018-1, IIT Mandi (2018)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-45249-9_9","volume-title":"Distributed Computing and Networking","author":"A Kiehn","year":"2014","unstructured":"Kiehn, A., Raj, P., Singh, P.: A causal checkpointing algorithm for mobile computing environments. In: Chatterjee, M., Cao, J., Kothapalli, K., Rajsbaum, S. (eds.) ICDCN 2014. LNCS, vol. 8314, pp. 134\u2013148. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-45249-9_9"},{"key":"22_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511805318","volume-title":"Distributed Computing: Principles, Algorithms, and Systems","author":"AD Kshemkalyani","year":"2008","unstructured":"Kshemkalyani, A.D., Singhal, M.: Distributed Computing: Principles, Algorithms, and Systems. Cambridge University Press, Cambridge (2008)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0020-0190(87)90125-6","volume":"25","author":"TH Lai","year":"1987","unstructured":"Lai, T.H., Yang, T.H.: On distributed snapshots. Inf. Process. Lett. 25, 153\u2013158 (1987)","journal-title":"Inf. Process. Lett."},{"key":"22_CR15","volume-title":"Communication and Control","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Control. Prentice Hall, Upper Saddle River (1989)"},{"key":"22_CR16","unstructured":"Pattathurajan, M.: Expresssing linear-time properties of distributed algorithms in a branching-time setting. MSc thesis, IIT Mandi (2018)"},{"key":"22_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38123-2","volume-title":"Distributed Algorithms for Message-passing Systems","author":"M Raynal","year":"2013","unstructured":"Raynal, M.: Distributed Algorithms for Message-passing Systems. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38123-2"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-39867-7_6","volume-title":"Personal Wireless Communications","author":"P Singh","year":"2003","unstructured":"Singh, P., Cabillic, G.: A checkpointing algorithm for mobile computing environment. In: Conti, M., Giordano, S., Gregori, E., Olariu, S. (eds.) PWC 2003. LNCS, vol. 2775, pp. 65\u201374. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39867-7_6"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-14812-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:09:48Z","timestamp":1709824188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-14812-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030148119","9783030148126"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-14812-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAMC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Applications of Models of Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kitakyushu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tamc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}