{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:57:19Z","timestamp":1725742639964},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401831"},{"type":"electronic","value":"9783642401848"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40184-8_16","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:50:56Z","timestamp":1374529856000},"page":"212-226","source":"Crossref","is-referenced-by-count":3,"title":["An Epistemic Perspective on Consistency of Concurrent Computations"],"prefix":"10.1007","author":[{"given":"Klaus","family":"von Gleissenthall","sequence":"first","affiliation":[]},{"given":"Andrey","family":"Rybalchenko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/176575.176576","volume":"12","author":"H. Attiya","year":"1994","unstructured":"Attiya, H., Welch, J.L.: Sequential consistency versus linearizability. ACM Trans. Comput. Syst.\u00a012(2), 91\u2013122 (1994)","journal-title":"ACM Trans. Comput. Syst."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-30482-1_15","volume-title":"Formal Methods and Software Engineering","author":"K. Baukus","year":"2004","unstructured":"Baukus, K., van der Meyden, R.: A knowledge based analysis of cache coherence. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 99\u2013114. Springer, Heidelberg (2004)"},{"unstructured":"Belardinelli, F., Lomuscio, A.: A complete first-order logic of knowledge and time. In: KR (2008)","key":"16_CR3"},{"doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.: Line-up: a complete and automatic linearizability checker. In: PLDI (2010)","key":"16_CR4","DOI":"10.1145\/1806596.1806634"},{"doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Leijen, D., F\u00e4hndrich, M., Sagiv, M.: Eventually consistent transactions. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 67\u201386. Springer, Heidelberg (2012)","key":"16_CR5","DOI":"10.1007\/978-3-642-28869-2_4"},{"doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: A calculus of atomic actions. In: POPL (2009)","key":"16_CR6","DOI":"10.1145\/1594834.1480885"},{"doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press (2003)","key":"16_CR7","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-642-22012-8_36","volume-title":"Automata, Languages and Programming","author":"A. Gotsman","year":"2011","unstructured":"Gotsman, A., Yang, H.: Liveness-preserving atomicity abstraction. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol.\u00a06756, pp. 453\u2013465. Springer, Heidelberg (2011)"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. JACM\u00a037(3), 549\u2013587 (1990)","journal-title":"JACM"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M.P. Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM TOPLAS\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM TOPLAS"},{"unstructured":"Herlihy, M., Shavit, N.: The art of multiprocessor programming. Morgan Kaufmann (2008)","key":"16_CR11"},{"doi-asserted-by":"crossref","unstructured":"Herlihy, M.P., Wing, J.M.: Axioms for concurrent objects. In: POPL (1987)","key":"16_CR12","DOI":"10.21236\/ADA200584"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-17511-4_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Y. Hirai","year":"2010","unstructured":"Hirai, Y.: An intuitionistic epistemic logic for sequential consistency on shared memory. In: Clarke, E.M., Voronkov, A. (eds.) LPAR-16 2010. LNCS, vol.\u00a06355, pp. 272\u2013289. Springer, Heidelberg (2010)"},{"issue":"10","key":"16_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. CACM\u00a012(10), 576\u2013580 (1969)","journal-title":"CACM"},{"unstructured":"Kramer, S., Rybalchenko, A.: A multi-modal framework for achieving accountability in multi-agent systems. In: LIS (2010)","key":"16_CR15"},{"issue":"9","key":"16_CR16","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"-28","author":"L. Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers\u00a0C-28(9), 690\u2013691 (1979)","journal-title":"IEEE Transactions on Computers C"},{"doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Reynolds, J.C., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001. LNCS, vol.\u00a02142, pp. 1\u201319. Springer, Heidelberg (2001)","key":"16_CR17","DOI":"10.1007\/3-540-44802-0_1"},{"issue":"4","key":"16_CR18","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. JACM\u00a026(4), 631\u2013653 (1979)","journal-title":"JACM"},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"1071","DOI":"10.1007\/978-0-387-39940-9_1366","volume-title":"Encyclopedia of Database Systems","author":"M. Shapiro","year":"2009","unstructured":"Shapiro, M., Kemme, B.: Eventual consistency. In: \u00d6zsu, M.T., Liu, L. (eds.) Encyclopedia of Database Systems, pp. 1071\u20131072. Springer, Heidelberg (2009)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-642-14295-6_40","volume-title":"Computer Aided Verification","author":"V. Vafeiadis","year":"2010","unstructured":"Vafeiadis, V.: Automatically proving linearizability. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 450\u2013464. Springer, Heidelberg (2010)"},{"key":"16_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoeck, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2013 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40184-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T08:32:09Z","timestamp":1596184329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40184-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401831","9783642401848"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40184-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}