{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:56:55Z","timestamp":1770278215613,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,13]]},"DOI":"10.1145\/1065167.1065214","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"358-367","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Diagnosis of asynchronous discrete event systems"],"prefix":"10.1145","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[{"name":"INRIA-Futurs& U. Paris Sud"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zo\u00eb","family":"Abrams","sequence":"additional","affiliation":[{"name":"Stanford U."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[{"name":"INRIA Rennes"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tova","family":"Milo","sequence":"additional","affiliation":[{"name":"Tel Aviv U."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1758398.1758402"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872821"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/62597.62605"},{"key":"e_1_3_2_1_5_1","unstructured":"Active XML Web site http:\/\/activexml.net  Active XML Web site http:\/\/activexml.net"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/606272.606299"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/6012.15399"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Proc. CONCUR '03","author":"Benveniste A.","unstructured":"A. Benveniste , E. Fabre , S. Haar , C. Jard . Distributed Monitoring of Concurrent and asynchronous Systems . Proc. CONCUR '03 , LNCS 2761, pp. 1 -- 26 . A. Benveniste, E. Fabre, S. Haar, C. Jard. Distributed Monitoring of Concurrent and asynchronous Systems. Proc. CONCUR '03, LNCS 2761, pp. 1--26."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/767132.767137"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/6012.15421"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01463946"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00019-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30570-5_21"},{"key":"e_1_3_2_1_16_1","volume-title":"HotNets-III","author":"Hellerstein J.","year":"2004","unstructured":"J. Hellerstein , B. T. Loo and I. Stoica . Customizable Routing with Declarative Queries , HotNets-III , 2004 . J. Hellerstein, B. T. Loo and I. Stoica. Customizable Routing with Declarative Queries, HotNets-III, 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645916.671963"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646334.687945"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/88830.88839"},{"key":"e_1_3_2_1_20_1","unstructured":"Kazaa www.kazaa.com\/  Kazaa www.kazaa.com\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008335115538"},{"key":"e_1_3_2_1_22_1","volume-title":"On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Control group rep. CGR00-04","author":"Debouk R.","year":"2001","unstructured":"R. Debouk , S. Lafortune , D. Teneketzis . On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Control group rep. CGR00-04 , Univ. Mich . Ann Arbor, subm. for publication, 2001 . R. Debouk, S. Lafortune, D. Teneketzis. On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Control group rep. CGR00-04, Univ. Mich. Ann Arbor, subm. for publication, 2001."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760066.1760089"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647761.735341"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.204095"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/95272"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of Symposium on Principles of Programming Languages","author":"Logic Programs Parallelism","year":"1990","unstructured":"Parallelism in Logic Programs , Raghu Ramakrishnan , Proceedings of Symposium on Principles of Programming Languages , 1990 Parallelism in Logic Programs, Raghu Ramakrishnan, Proceedings of Symposium on Principles of Programming Languages, 1990"},{"key":"e_1_3_2_1_28_1","volume-title":"Colloque Reconnaissances de Forme et Intelligence Artificielle","author":"Rohmer J.","year":"1985","unstructured":"J. Rohmer , R. Lescoeur . La Methode Alexandre une solution pour traiter les axiomes recursifs dons les bases de donnees deductives . Colloque Reconnaissances de Forme et Intelligence Artificielle , Grenoble , 1985 J. Rohmer, R. Lescoeur. La Methode Alexandre une solution pour traiter les axiomes recursifs dons les bases de donnees deductives. Colloque Reconnaissances de Forme et Intelligence Artificielle, Grenoble, 1985"},{"key":"e_1_3_2_1_29_1","unstructured":"K. Ross. Modular Stratification and Madic Set for DATALOG Programs with Negation.  K. Ross. Modular Stratification and Madic Set for DATALOG Programs with Negation."},{"key":"e_1_3_2_1_30_1","first-page":"144","volume-title":"Proc. WODES 1998","author":"Sengupta R.","unstructured":"R. Sengupta . Diagnosis and communications in distributed systems . Proc. WODES 1998 pp. 144 -- 151 , IEE, London. R. Sengupta. Diagnosis and communications in distributed systems. Proc. WODES 1998 pp. 144--151, IEE, London."},{"key":"e_1_3_2_1_31_1","unstructured":"The SWAN project. http:\/\/swan.elibel.tm.fr  The SWAN project. http:\/\/swan.elibel.tm.fr"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/375551.375557"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/16894.16870"},{"key":"e_1_3_2_1_34_1","volume-title":"Int. Conf. Expert Database Syst., L. Kerschberg, Ed.","author":"Vieille L.","year":"1986","unstructured":"L. Vieille , \"Recursive axioms in deductive databases: The Query-Subquery approach,\" in Proc . Int. Conf. Expert Database Syst., L. Kerschberg, Ed. , Charleston , 1986 . L. Vieille, \"Recursive axioms in deductive databases: The Query-Subquery approach,\" in Proc. Int. Conf. Expert Database Syst., L. Kerschberg, Ed., Charleston, 1986."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/62597.62604"}],"event":{"name":"SIGMOD\/PODS05: International Conference on Management of Data and Symposium on Principles Database and Systems","location":"Baltimore Maryland","acronym":"SIGMOD\/PODS05","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065167.1065214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:15:41Z","timestamp":1703186141000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065167.1065214"}},"subtitle":["datalog to the rescue!"],"short-title":[],"issued":{"date-parts":[[2005,6,13]]},"references-count":35,"alternative-id":["10.1145\/1065167.1065214","10.1145\/1065167"],"URL":"https:\/\/doi.org\/10.1145\/1065167.1065214","relation":{},"subject":[],"published":{"date-parts":[[2005,6,13]]},"assertion":[{"value":"2005-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}