{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:06:03Z","timestamp":1725581163136},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/ccece.2011.6030585","type":"proceedings-article","created":{"date-parts":[[2011,10,5]],"date-time":"2011-10-05T14:20:50Z","timestamp":1317824450000},"page":"000887-000891","source":"Crossref","is-referenced-by-count":7,"title":["Block-based atomicity to simplify the verification of distributed applications"],"prefix":"10.1109","author":[{"given":"E. Al","family":"Maghayreh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Introduction to Algorithms","year":"2009","author":"cormen","key":"15"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786631"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"12","first-page":"83","article-title":"Automated type-based analysis of data races and atomicity","author":"sasturkar","year":"2005","journal-title":"PPoPP '05 Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.1599419"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.5"},{"journal-title":"Simplifying Runtime Verification of Distributed Programs Ameliorating the State Space Explosion Problem","year":"2010","author":"al maghayreh","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"journal-title":"Elements of Distributed Computing","year":"2002","author":"garg","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1995.530730"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.8.489"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2008.4594684"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.6.a5"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604176"}],"event":{"name":"2011 24th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)","start":{"date-parts":[[2011,5,8]]},"location":"Niagara Falls, ON, Canada","end":{"date-parts":[[2011,5,11]]}},"container-title":["2011 24th Canadian Conference on Electrical and Computer Engineering(CCECE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6019108\/6030387\/06030585.pdf?arnumber=6030585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T02:55:12Z","timestamp":1490064912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6030585\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ccece.2011.6030585","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}