{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:17:45Z","timestamp":1730272665034,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/iscc.2012.6249404","type":"proceedings-article","created":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T15:05:52Z","timestamp":1343833552000},"page":"000833-000838","source":"Crossref","is-referenced-by-count":2,"title":["Maestro: A cloud computing framework with automated locking"],"prefix":"10.1109","author":[{"given":"Murat","family":"Demirbas","sequence":"first","affiliation":[]},{"given":"Serafettin","family":"Tasci","sequence":"additional","affiliation":[]},{"given":"Sandeep","family":"Kulkarni","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"335","article-title":"The chubby lock service for loosely-coupled distributed systems","author":"burrows","year":"2006","journal-title":"OSDI"},{"key":"2","article-title":"Zookeeper: Wait-free coordination for internet-scale systems","author":"hunt","year":"2010","journal-title":"USENIX Technical Conference"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"1","first-page":"13","article-title":"Mapreduce: Simplified data processing on large clusters","author":"dean","year":"2004","journal-title":"OSDI"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"5","article-title":"The Yices SMT solver","author":"dutertre","year":"2006","journal-title":"SRI International"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945450"},{"journal-title":"Transaction Processing Concepts and Techniques","year":"1993","author":"gray","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2012.6249404"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79181"},{"key":"12","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"lamport","year":"2001","journal-title":"ACM SIGACT News"}],"event":{"name":"2012 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2012,7,1]]},"location":"Cappadocia, Turkey","end":{"date-parts":[[2012,7,4]]}},"container-title":["2012 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6241753\/6249257\/06249404.pdf?arnumber=6249404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:33:53Z","timestamp":1490128433000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6249404\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iscc.2012.6249404","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}