{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:08:23Z","timestamp":1742404103204,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1302994","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"66-75","source":"Crossref","is-referenced-by-count":3,"title":["Finding satisfying global states: all for one and one for all"],"prefix":"10.1109","author":[{"given":"N.","family":"Mittal","sequence":"first","affiliation":[]},{"family":"Alper Sen","sequence":"additional","affiliation":[]},{"given":"V.K.","family":"Garg","sequence":"additional","affiliation":[]},{"given":"R.","family":"Atreya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/BFb0022156","article-title":"Faster possibility detection by combining two approaches","volume":"972","author":"stoller","year":"1995","journal-title":"Proceedings of the Workshop on Distributed Algorithms (WDAG) Volume 972 of Lecture Notes in Computer Science (LNCS)"},{"key":"18","first-page":"264","article-title":"Efficient detection of global properties in distributed systems using partial-order methods","volume":"1855","author":"stoller","year":"2000","journal-title":"Proceedings of the 12th International Conference on Computer-aided Verification (CAV) Volume 1855 of Lecture Notes in Computer Science (LNCS)"},{"key":"15","article-title":"Detecting temporal logic predicates in the happened-before model","author":"sen","year":"2002","journal-title":"Proc Int Parallel Distrib Process Symp (IPDPS)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81041-7"},{"key":"13","first-page":"78","article-title":"Computation slicing: Techniques and theory","author":"mittal","year":"2001","journal-title":"Proceedings of the Symposium on Distributed Computing (DISC)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2003.1203457"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"12","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Parallel and Distributed Algorithms Proceedings of the Workshop on Distributed Algorithms (WDAG)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/200994.201005"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940566"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.8.499"},{"journal-title":"Elements of Distributed Computing","year":"2002","author":"garg","key":"7"},{"journal-title":"Introduction to Lattices and Order","year":"1990","author":"davey","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122774"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022155"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00195-3"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918962"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01302994.pdf?arnumber=1302994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:57:40Z","timestamp":1497599860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1302994\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1302994","relation":{},"subject":[]}}