{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:36:58Z","timestamp":1725572218467},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1109\/icpads.2007.4447747","type":"proceedings-article","created":{"date-parts":[[2008,2,15]],"date-time":"2008-02-15T17:32:18Z","timestamp":1203096738000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Using synchronized atoms to check distributed programs"],"prefix":"10.1109","author":[{"given":"H.F.","family":"Li","sequence":"first","affiliation":[]},{"given":"E.","family":"Al Maghayreh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"article-title":"Elements of distributed computing","year":"2002","author":"garg","key":"ref3"},{"key":"ref10","first-page":"137","article-title":"Accurate and efficient runtime detection of atomicity errors in concurrent programs","author":"wang","year":"2006","journal-title":"PPoPP '06 Proceedings of the eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"},{"key":"ref6","first-page":"215","article-title":"Virtual Time and Global States of Distributed Systems","author":"mattern","year":"1989","journal-title":"Proceedings of the International Workshop on Parallel and Distributed Algorithms"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.1599419"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786631"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/69.729707"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.09.003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DCS.1988.12532"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"ref9","first-page":"116","article-title":"Detecting temporal logic predicates on the happened-before model","author":"sen","year":"2002","journal-title":"IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1098"}],"event":{"name":"2007 International Conference on Parallel and Distributed Systems","start":{"date-parts":[[2007,12,5]]},"location":"Hsinchu","end":{"date-parts":[[2007,12,7]]}},"container-title":["2007 International Conference on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4447704\/4447779\/04447747.pdf?arnumber=4447747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T21:48:08Z","timestamp":1489700888000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4447747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icpads.2007.4447747","relation":{},"subject":[],"published":{"date-parts":[[2007,12]]}}}