{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:46:10Z","timestamp":1729629970022,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/percom.2012.6199846","type":"proceedings-article","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T17:10:34Z","timestamp":1337965834000},"page":"30-38","source":"Crossref","is-referenced-by-count":0,"title":["Formal specification and runtime detection of temporal properties for asynchronous context"],"prefix":"10.1109","author":[{"family":"Hengfeng Wei","sequence":"first","affiliation":[]},{"given":"Yu","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Jiannong","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Lu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Consistent global states of distributed systems Fundamental concepts and mechanisms","year":"1993","author":"babaog?lu","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"18","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Proc Workshop Parallel and Distributed Algorithms"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1011"},{"journal-title":"MIPA-Middleware Infrastructure for Predicate Detection in Asynchronous Environments","year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16355-5_26"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BF02277859"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.176"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2009.4912761"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_27"},{"journal-title":"Introduction to Metamathematics","year":"1971","author":"kleene","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2010.29"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122774"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/71.553309"},{"key":"26","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","article-title":"Model checking partial state spaces with 3-valued temporal logics","author":"bruns","year":"1999","journal-title":"Computer Aided Verification 11th Intl Conf CAV'99"},{"key":"27","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-36384-X_18","article-title":"On the expressiveness of 3-valued models","volume":"4","author":"godefroid","year":"2003","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1656250.1656253"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1158281"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1012334"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-003-0251-x"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2005.07.003"},{"journal-title":"Providing architectural support for building contextAware applications","year":"2000","author":"dey","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567551"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"}],"event":{"name":"2012 IEEE International Conference on Pervasive Computing and Communications (PerCom)","start":{"date-parts":[[2012,3,19]]},"location":"Lugano, Switzerland","end":{"date-parts":[[2012,3,23]]}},"container-title":["2012 IEEE International Conference on Pervasive Computing and Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6192377\/6199834\/06199846.pdf?arnumber=6199846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:17:03Z","timestamp":1497986223000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6199846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/percom.2012.6199846","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}