{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:46:46Z","timestamp":1725893206411},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77395-5_16","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"188-201","source":"Crossref","is-referenced-by-count":0,"title":["Rollback Atomicity"],"prefix":"10.1007","author":[{"given":"Serdar","family":"Tasiran","sequence":"first","affiliation":[]},{"given":"Tayfun","family":"Elmas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/11817963_30","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2006","unstructured":"Farzan, A., Madhusudan, P.: Causal Atomicity. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 315\u2013328. Springer, Heidelberg (2006)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs. In: Proc. 31st ACM Symposium on Principles of Programming Languages, pp. 256\u2013267 (2004)","DOI":"10.1145\/964001.964023"},{"key":"16_CR3","volume-title":"Proc. the Intl. Symposium on Software Testing and Analysis (ISSTA 2004)","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S., Qadeer, S.: Exploiting Purity for Atomicity. In: Proc. the Intl. Symposium on Software Testing and Analysis (ISSTA 2004), ACM Press, New York (2004)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) Model Checking Software. LNCS, vol.\u00a02989, pp. 252\u2013266. Springer, Heidelberg (2004)"},{"key":"16_CR5","unstructured":"Harris, T., Stipic, S.: Abstract Nested Transactions. In: The 2nd ACM SIGPLAN Workshop on Transactional Computing, TRANSACT 2007, available at http:\/\/www.cs.rochester.edu\/meetings\/TRANSACT07\/papers\/harris.pdf"},{"issue":"3","key":"16_CR6","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 Trans. on Programming Languages and Systems\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal\u00a010(2) (April 2003)","DOI":"10.1023\/A:1022920129859"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Larus, J.R., Rajwar, R.: Transactional Memory. Morgan & Claypool (2006)","DOI":"10.2200\/S00070ED1V01Y200611CAC002"},{"key":"16_CR9","first-page":"378","volume-title":"Proc. POPL 2005. Principles of Programming Languages","author":"J. Manson","year":"2005","unstructured":"Manson, J., Pugh, W., Adve, S.: The Java Memory Model. In: Proc. POPL 2005. Principles of Programming Languages, pp. 378\u2013391. ACM Press, New York (2005)"},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.: The Serializability of Concurrent Database Updates. Journal of the ACM\u00a026(4), 631\u2013653 (1979)","journal-title":"Journal of the ACM"},{"issue":"4","key":"16_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1023\/B:SQJO.0000039791.93071.a2","volume":"12","author":"D.J. Pearce","year":"2004","unstructured":"Pearce, D.J., Kelly, P.H., Hankin, C.: Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Software Quality Control\u00a012(4), 311\u2013337 (2004)","journal-title":"Software Quality Control"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In: PPoPP 2006: Proc. of the 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 137\u2013146 (2006)","DOI":"10.1145\/1122971.1122993"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Elmas, T., Tasiran, S., Qadeer, S.: Vyrd: Verifying Concurrent Programs by Runtime Refinement-Violation detection. In: PLDI 2005: Proc. 2005 ACM SIGPLAN Conf. on Programming Language Design and Implementation, pp. 27\u201337 (2005)","DOI":"10.1145\/1065010.1065015"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77395-5_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:10:33Z","timestamp":1619521833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773948"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_16","relation":{},"subject":[]}}