{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T08:34:20Z","timestamp":1789547660980,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T00:00:00Z","timestamp":1500854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,24]]},"DOI":"10.1145\/3087556.3087571","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T17:51:38Z","timestamp":1500573098000},"page":"153-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Distributed Detection of Cycles"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Fraigniaud","sequence":"first","affiliation":[{"name":"CNRS & University Paris Diderot, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dennis","family":"Olivetti","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004930070001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/07067917X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548306007759"},{"key":"e_1_3_2_1_4_1","volume-title":"34th Symposium on Theoretical Aspects of Computer Science (STACS).","author":"Balliu Alkida","year":"2017","unstructured":"Alkida Balliu , Gianlorenzo D'Angelo , Pierre Fraigniaud , and Dennis Olivetti . 2017 . What Can Be Verified Locally? . In 34th Symposium on Theoretical Aspects of Computer Science (STACS). Alkida Balliu, Gianlorenzo D'Angelo, Pierre Fraigniaud, and Dennis Olivetti. 2017. What Can Be Verified Locally?. In 34th Symposium on Theoretical Aspects of Computer Science (STACS)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.706047"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-011-0132-x"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53426-7_4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1622"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1454355"},{"key":"e_1_3_2_1_10_1","volume-title":"Graph removal lemmas. CoRR abs\/1211.3487","author":"Conlon David","year":"2012","unstructured":"David Conlon and Jacob Fox . 2012. Graph removal lemmas. CoRR abs\/1211.3487 ( 2012 ). David Conlon and Jacob Fox. 2012. Graph removal lemmas. CoRR abs\/1211.3487 (2012)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.20462"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611462.2611478"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01788085"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2307\/2311408"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755573.2755596"},{"key":"e_1_3_2_1_16_1","first-page":"41","article-title":"Survey of Distributed Decision","volume":"119","author":"Feuilloley Laurent","year":"2016","unstructured":"Laurent Feuilloley and Pierre Fraigniaud . 2016 . Survey of Distributed Decision . Bulletin of the EATCS 119 (2016), 41 -- 65 . Laurent Feuilloley and Pierre Fraigniaud. 2016. Survey of Distributed Decision. Bulletin of the EATCS 119 (2016), 41--65.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_17_1","first-page":"1","article-title":"A Hierarchy of Local Decision. In 43rd Int","volume":"118","author":"Feuilloley Laurent","year":"2016","unstructured":"Laurent Feuilloley , Pierre Fraigniaud , and Juho Hirvonen . 2016 . A Hierarchy of Local Decision. In 43rd Int . Colloquium on Automata, Languages, and Programming (ICALP). 118 : 1 -- 118 :15. Laurent Feuilloley, Pierre Fraigniaud, and Juho Hirvonen. 2016. A Hierarchy of Local Decision. In 43rd Int. Colloquium on Automata, Languages, and Programming (ICALP). 118:1--118:15.","journal-title":"Colloquium on Automata, Languages, and Programming (ICALP)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-014-0211-x"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499228"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53426-7_25"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Oded Goldreich (Ed.). 2010. Property Testing -- Current Research and Surveys. Vol. LNCS 6390. Springer.  Oded Goldreich (Ed.). 2010. Property Testing -- Current Research and Surveys. Vol. LNCS 6390. Springer.","DOI":"10.1007\/978-3-642-16367-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-001-0078-7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.10078"},{"key":"e_1_3_2_1_24_1","first-page":"1","article-title":"Locally Checkable Proofs in Distributed Computing","volume":"12","author":"G\u00f6\u00f6s Mika","year":"2016","unstructured":"Mika G\u00f6\u00f6s and Jukka Suomela . 2016 . Locally Checkable Proofs in Distributed Computing . Theory of Computing 12 , 1 (2016), 1 -- 33 . Mika G\u00f6\u00f6s and Jukka Suomela. 2016. Locally Checkable Proofs in Distributed Computing. Theory of Computing 12, 1 (2016), 1--33.","journal-title":"Theory of Computing"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-010-0095-3"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-0208(08)73110-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793254571"},{"key":"e_1_3_2_1_28_1","volume-title":"Hadjicostis","author":"Oliva Gabriele","year":"2016","unstructured":"Gabriele Oliva , Roberto Setola , Luigi Glielmo , and Christoforos N . Hadjicostis . 2016 . Distributed Cycle Detection and Removal. IEEE Transactions on Control of Network Systems PP , 99 (2016). Gabriele Oliva, Roberto Setola, Luigi Glielmo, and Christoforos N. Hadjicostis. 2016. Distributed Cycle Detection and Removal. IEEE Transactions on Control of Network Systems PP, 99 (2016)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719772"}],"event":{"name":"SPAA '17: 29th ACM Symposium on Parallelism in Algorithms and Architectures","location":"Washington DC USA","acronym":"SPAA '17","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGARCH ACM Special Interest Group on Computer Architecture","EATCS European Association for Theoretical Computer Science"]},"container-title":["Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087556.3087571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3087556.3087571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:13Z","timestamp":1750217413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087556.3087571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,24]]},"references-count":29,"alternative-id":["10.1145\/3087556.3087571","10.1145\/3087556"],"URL":"https:\/\/doi.org\/10.1145\/3087556.3087571","relation":{},"subject":[],"published":{"date-parts":[[2017,7,24]]},"assertion":[{"value":"2017-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}