{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T11:15:36Z","timestamp":1773314136237,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,16]],"date-time":"2012-07-16T00:00:00Z","timestamp":1342396800000},"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":[[2012,7,16]]},"DOI":"10.1145\/2332432.2332466","type":"proceedings-article","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T14:38:27Z","timestamp":1342708707000},"page":"185-194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Weak models of distributed computing, with connections to modal logic"],"prefix":"10.1145","author":[{"given":"Lauri","family":"Hella","sequence":"first","affiliation":[{"name":"University of Tampere, Tampere, Finland"}]},{"given":"Matti","family":"J\u00e4rvisalo","sequence":"additional","affiliation":[{"name":"University of Helsinki, Helsinki, Finland"}]},{"given":"Antti","family":"Kuusisto","sequence":"additional","affiliation":[{"name":"University of Tampere, Tampere, Finland"}]},{"given":"Juhana","family":"Laurinharju","sequence":"additional","affiliation":[{"name":"University of Helsinki, Helsinki, Finland"}]},{"given":"Tuomo","family":"Lempi\u00e4inen","sequence":"additional","affiliation":[{"name":"University of Helsinki, Helsinki, Finland"}]},{"given":"Kerkko","family":"Luosto","sequence":"additional","affiliation":[{"name":"University of Helsinki, Helsinki, Finland"}]},{"given":"Jukka","family":"Suomela","sequence":"additional","affiliation":[{"name":"University of Helsinki, Helsinki, Finland"}]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[{"name":"University of Tampere, Tampere, Finland"}]}],"member":"320","published-online":{"date-parts":[[2012,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2075029.2075034"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/800141.804655"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810533"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/48014.48247"},{"key":"e_1_3_2_1_5_1","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn Patrick","year":"2001","unstructured":"Patrick Blackburn , Maarten de Rijke , and Yde Venema . Modal Logic , volume 53 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 2001 . Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001."},{"key":"e_1_3_2_1_6_1","series-title":"Studies in Logic and Practical Reasoning","volume-title":"Handbook of Modal Logic","author":"Blackburn Patrick","year":"2007","unstructured":"Patrick Blackburn , Johan van Benthem , and Frank Wolter , editors. Handbook of Modal Logic , volume 3 of Studies in Logic and Practical Reasoning . Elsevier , 2007 . Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors. Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning. Elsevier, 2007."},{"key":"e_1_3_2_1_7_1","first-page":"16","volume-title":"Proc. ISTCS 1996","author":"Boldi Paolo","year":"1996","unstructured":"Paolo Boldi , Shella Shammah , Sebastiano Vigna , Bruno Codenotti , Peter Gemmell , and Janos Simon . Symmetry breaking in anonymous networks: characterizations . In Proc. ISTCS 1996 , pages 16 -- 26 . IEEE, 1996 . Paolo Boldi, Shella Shammah, Sebastiano Vigna, Bruno Codenotti, Peter Gemmell, and Janos Simon. Symmetry breaking in anonymous networks: characterizations. In Proc. ISTCS 1996, pages 16--26. IEEE, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/259380.259463"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645958.676115"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1097029"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00178-L"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890715"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2332432.2332465"},{"key":"e_1_3_2_1_14_1","volume-title":"Weak models of distributed computing, with connections to modal logic","author":"Hella Lauri","year":"2012","unstructured":"Lauri Hella , Matti J\u00e4rvisalo , Antti Kuusisto , Juhana Laurinharju , Tuomo Lempi\u00e4inen , Kerkko Luosto , Jukka Suomela , and Jonni Virtema . Weak models of distributed computing, with connections to modal logic , 2012 . Manuscript , arXiv:1205.2051 {cs.DC}. Lauri Hella, Matti J\u00e4rvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempi\u00e4inen, Kerkko Luosto, Jukka Suomela, and Jonni Virtema. Weak models of distributed computing, with connections to modal logic, 2012. Manuscript, arXiv:1205.2051 {cs.DC}."},{"key":"e_1_3_2_1_15_1","volume-title":"Graduate Texts in Computer Science","author":"Immerman Neil","year":"1999","unstructured":"Neil Immerman . Descriptive Complexity . Graduate Texts in Computer Science . Springer , 1999 . Neil Immerman. Descriptive Complexity. Graduate Texts in Computer Science. Springer, 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146381.1146387"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/0221015"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/527073.881429"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793254571"},{"key":"e_1_3_2_1_20_1","first-page":"53","volume-title":"Proc. SIROCCO 1995","author":"Norris Nancy","year":"1996","unstructured":"Nancy Norris . Computing functions on partially wireless networks . In Proc. SIROCCO 1995 , pages 53 -- 64 . Carleton Scientific , 1996 . Nancy Norris. Computing functions on partially wireless networks. In Proc. SIROCCO 1995, pages 53--64. Carleton Scientific, 1996."},{"key":"e_1_3_2_1_21_1","series-title":"SIAM Monographs on Discrete Mathematics and Applications","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719772","volume-title":"Distributed Computing: A Locality-Sensitive Approach","author":"Peleg David","year":"2000","unstructured":"David Peleg . Distributed Computing: A Locality-Sensitive Approach . SIAM Monographs on Discrete Mathematics and Applications . SIAM , 2000 . David Peleg. Distributed Computing: A Locality-Sensitive Approach. SIAM Monographs on Discrete Mathematics and Applications. SIAM, 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431223"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.55.601"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","first-page":"303","volume-title":"Proc. WDAG","author":"Yamashita Masafumi","year":"1989","unstructured":"Masafumi Yamashita and Tsunehiko Kameda . Electing a leader when processor identity numbers are not distinct (extended abstract) . In Proc. WDAG 1989 , volume 392 of LNCS , pages 303 -- 314 . Springer , 1989. Masafumi Yamashita and Tsunehiko Kameda. Electing a leader when processor identity numbers are not distinct (extended abstract). In Proc. WDAG 1989, volume 392 of LNCS, pages 303--314. Springer, 1989."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01192691"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.481599"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.481600"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.798313"}],"event":{"name":"PODC '12: ACM Symposium on Principles of Distributed Computing","location":"Madeira Portugal","acronym":"PODC '12","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory","INESC-ID INESC-ID Lisboa"]},"container-title":["Proceedings of the 2012 ACM symposium on Principles of distributed computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2332432.2332466","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2332432.2332466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:44:38Z","timestamp":1750268678000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2332432.2332466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,16]]},"references-count":28,"alternative-id":["10.1145\/2332432.2332466","10.1145\/2332432"],"URL":"https:\/\/doi.org\/10.1145\/2332432.2332466","relation":{},"subject":[],"published":{"date-parts":[[2012,7,16]]},"assertion":[{"value":"2012-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}