{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:33:35Z","timestamp":1773192815958,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540374060","type":"print"},{"value":"9783540374114","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817963_30","type":"book-chapter","created":{"date-parts":[[2006,8,5]],"date-time":"2006-08-05T05:07:51Z","timestamp":1154754471000},"page":"315-328","source":"Crossref","is-referenced-by-count":42,"title":["Causal Atomicity"],"prefix":"10.1007","author":[{"given":"Azadeh","family":"Farzan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Madhusudan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1006\/inco.1999.2847","volume":"160","author":"R. Alur","year":"2000","unstructured":"Alur, R., McMillan, K., Peled, D.: Model-checking of correctness conditions for concurrent objects. Inf. Comput.\u00a0160(1-2), 167\u2013188 (2000)","journal-title":"Inf. Comput."},{"key":"30_CR2","unstructured":"Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems. Addison-Wesley Longman (1987)"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/11691372_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Chaki","year":"2006","unstructured":"Chaki, S., Clarke, E., Kidd, N., Reps, T., Touili, T.: Verifying concurrent message-passing C programs with recursive calls. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 334\u2013349. Springer, Heidelberg (2006)"},{"key":"30_CR4","doi-asserted-by":"publisher","DOI":"10.1142\/9789814261456","volume-title":"The Book of Traces","author":"V. Diekert","year":"1995","unstructured":"Diekert, V., Rozenberg, G.: The Book of Traces. World Scientific Publishing Co., Singapore (1995)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Esparza","year":"1996","unstructured":"Esparza, J., Romer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 87\u2013106. Springer, Heidelberg (1996)"},{"issue":"11","key":"30_CR6","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K. Eswaran","year":"1976","unstructured":"Eswaran, K., Gray, J., Lorie, R., Traiger, I.: The notions of consistency and predicate locks in a database system. Commun. ACM\u00a019(11), 624\u2013633 (1976)","journal-title":"Commun. ACM"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-24732-6_18","volume-title":"Model Checking Software","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C.: Verifying commit-atomicity using model-checking. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 252\u2013266. Springer, Heidelberg (2004)"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: POPL, pp. 256\u2013267 (2004)","DOI":"10.1145\/964001.964023"},{"issue":"4","key":"30_CR9","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1109\/TSE.2005.47","volume":"31","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Freund, S., Qadeer, S.: Exploiting purity for atomicity. IEEE Trans. Software Eng.\u00a031(4), 275\u2013291 (2005)","journal-title":"IEEE Trans. Software Eng."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: Types for atomicity. In: TLDI, pp. 1\u201312 (2003)","DOI":"10.1145\/604174.604176"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Fl\u00e9, M., Roucairol, G.: On serializability of iterated transactions. In: PODC, pp. 194\u2013200 (1982)","DOI":"10.1145\/800220.806697"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-63166-6_43","volume-title":"Computer Aided Verification","author":"B. Grahlmann","year":"1997","unstructured":"Grahlmann, B.: The PEP tool. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 440\u2013443. Springer, Heidelberg (1997)"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-24622-0_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Hatcliff","year":"2004","unstructured":"Hatcliff, J., Robby, Dwyer, M.: Verifying atomicity specifications for concurrent object-oriented software using model-checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 175\u2013190. Springer, Heidelberg (2004)"},{"key":"30_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1996","unstructured":"Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, 2nd edn., vol.\u00a01. Springer, London (1996)","edition":"2"},{"issue":"12","key":"30_CR15","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R. Lipton","year":"1975","unstructured":"Lipton, R.: Reduction: A method of proving properties of parallel programs. Commun. ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Commun. ACM"},{"key":"30_CR16","unstructured":"Lodaya, K., Mukund, M., Ramanujam, R., Thiagarajan, P.S.: Models and logics for true concurrency. Technical Report TCS\u201390\u20133, School of Mathematics Internal (1990)"},{"issue":"1","key":"30_CR17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K. McMillan","year":"1995","unstructured":"McMillan, K.: A technique of state space search based on unfolding. Formal Methods in System Design\u00a06(1), 45\u201365 (1995)","journal-title":"Formal Methods in System Design"},{"key":"30_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winsker, G.: Peri nets, event structures and domains \u2014 part i. Theoretical Computer Science\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"30_CR19","volume-title":"The theory of database concurrency control","author":"C. Papadimitriou","year":"1986","unstructured":"Papadimitriou, C.: The theory of database concurrency control. Computer Science Press, Inc., New York (1986)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Qadeer, S., Wu, D.: KISS: keep it simple and sequential. In: PLDI, pp. 14\u201324 (2004)","DOI":"10.1145\/996841.996845"},{"key":"30_CR21","volume-title":"Database Systems Concepts","author":"A. Silberschatz","year":"2005","unstructured":"Silberschatz, A., Korth, H., Sudarshan, S.: Database Systems Concepts, 5th edn. McGraw-Hill, New York (2005)","edition":"5"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.: Run-time analysis for atomicity. Electr. Notes Theor. Comput. Sci.\u00a089(2) (2003)","DOI":"10.1016\/S1571-0661(04)81049-1"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.: Static analysis of atomicity for programs with non-blocking synchronization. In: PPOPP, pp. 61\u201371 (2005)","DOI":"10.1145\/1065944.1065953"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817963_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:58Z","timestamp":1605644158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817963_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540374060","9783540374114"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11817963_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}