{"id":"https://openalex.org/W2148219974","doi":"https://doi.org/10.1145/2332432.2332466","title":"Weak models of distributed computing, with connections to modal logic","display_name":"Weak models of distributed computing, with connections to modal logic","publication_year":2012,"publication_date":"2012-07-16","ids":{"openalex":"https://openalex.org/W2148219974","doi":"https://doi.org/10.1145/2332432.2332466","mag":"2148219974"},"language":"en","primary_location":{"id":"doi:10.1145/2332432.2332466","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2332432.2332466","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2012 ACM symposium on Principles of distributed computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10138/37409","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078573449","display_name":"Lauri Hella","orcid":"https://orcid.org/0000-0002-9117-8124"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]},{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Lauri Hella","raw_affiliation_strings":["University of Tampere, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"University of Tampere, Tampere, Finland","institution_ids":["https://openalex.org/I166825849","https://openalex.org/I4210133110"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081120128","display_name":"Matti J\u0084\u00e4rvisalo","orcid":"https://orcid.org/0000-0003-2572-063X"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Matti J\u00e4rvisalo","raw_affiliation_strings":["University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059829668","display_name":"Antti Kuusisto","orcid":"https://orcid.org/0000-0003-1356-8749"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]},{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Antti Kuusisto","raw_affiliation_strings":["University of Tampere, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"University of Tampere, Tampere, Finland","institution_ids":["https://openalex.org/I166825849","https://openalex.org/I4210133110"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042276295","display_name":"Juhana Laurinharju","orcid":null},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Juhana Laurinharju","raw_affiliation_strings":["University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060790512","display_name":"Tuomo Lempi\u00e4inen","orcid":"https://orcid.org/0000-0003-2436-5381"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Tuomo Lempi\u00e4inen","raw_affiliation_strings":["University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031424171","display_name":"Kerkko Luosto","orcid":"https://orcid.org/0009-0007-3911-766X"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Kerkko Luosto","raw_affiliation_strings":["University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025555126","display_name":"Jukka Suomela","orcid":"https://orcid.org/0000-0001-6117-8089"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jukka Suomela","raw_affiliation_strings":["University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073358565","display_name":"Jonni Virtema","orcid":"https://orcid.org/0000-0002-1582-3718"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]},{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jonni Virtema","raw_affiliation_strings":["University of Tampere, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"University of Tampere, Tampere, Finland","institution_ids":["https://openalex.org/I166825849","https://openalex.org/I4210133110"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5078573449"],"corresponding_institution_ids":["https://openalex.org/I166825849","https://openalex.org/I4210133110"],"apc_list":null,"apc_paid":null,"fwci":2.7643,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.91008915,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"185","last_page":"194"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/numbering","display_name":"Numbering","score":0.9358634948730469},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7647171020507812},{"id":"https://openalex.org/keywords/port","display_name":"Port (circuit theory)","score":0.6015706658363342},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5731465220451355},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.562111496925354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49433207511901855},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4861557185649872},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4810067117214203},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4344610571861267},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23174071311950684},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08728194236755371}],"concepts":[{"id":"https://openalex.org/C191916993","wikidata":"https://www.wikidata.org/wiki/Q362019","display_name":"Numbering","level":2,"score":0.9358634948730469},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7647171020507812},{"id":"https://openalex.org/C32802771","wikidata":"https://www.wikidata.org/wiki/Q2443617","display_name":"Port (circuit theory)","level":2,"score":0.6015706658363342},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5731465220451355},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.562111496925354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49433207511901855},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4861557185649872},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4810067117214203},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4344610571861267},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23174071311950684},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08728194236755371},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2332432.2332466","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2332432.2332466","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2012 ACM symposium on Principles of distributed computing","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.433.2804","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.2804","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.helsinki.fi/u/mjarvisa/papers/hjklllsv.podc12.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.434.4859","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.4859","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.helsinki.fi/u/mjarvisa/papers/hjklllsv.dc14.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.760.4340","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.760.4340","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1205.2051.pdf","raw_type":"text"},{"id":"pmh:oai:helda.helsinki.fi:10138/37409","is_oa":true,"landing_page_url":"http://hdl.handle.net/10138/37409","pdf_url":null,"source":{"id":"https://openalex.org/S4210213322","display_name":"Ty\u00f6v\u00e4entutkimus Vuosikirja","issn_l":"0784-1272","issn":["0784-1272","1459-7780"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference contribution"}],"best_oa_location":{"id":"pmh:oai:helda.helsinki.fi:10138/37409","is_oa":true,"landing_page_url":"http://hdl.handle.net/10138/37409","pdf_url":null,"source":{"id":"https://openalex.org/S4210213322","display_name":"Ty\u00f6v\u00e4entutkimus Vuosikirja","issn_l":"0784-1272","issn":["0784-1272","1459-7780"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference contribution"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310086","display_name":"Helsingin Yliopisto","ror":"https://ror.org/040af2s02"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W164544547","https://openalex.org/W174342752","https://openalex.org/W639833572","https://openalex.org/W1482064263","https://openalex.org/W1484040084","https://openalex.org/W1486122468","https://openalex.org/W1488020469","https://openalex.org/W1516914512","https://openalex.org/W1523755288","https://openalex.org/W1568961751","https://openalex.org/W1569903137","https://openalex.org/W1813487646","https://openalex.org/W1869515244","https://openalex.org/W1968191405","https://openalex.org/W1973542264","https://openalex.org/W1993579990","https://openalex.org/W1994101575","https://openalex.org/W1998137177","https://openalex.org/W2001284589","https://openalex.org/W2004854811","https://openalex.org/W2011915102","https://openalex.org/W2017345786","https://openalex.org/W2022205872","https://openalex.org/W2029278215","https://openalex.org/W2029618506","https://openalex.org/W2036424138","https://openalex.org/W2052474723","https://openalex.org/W2054910423","https://openalex.org/W2062135503","https://openalex.org/W2079860440","https://openalex.org/W2086035610","https://openalex.org/W2089155578","https://openalex.org/W2098327371","https://openalex.org/W2101781054","https://openalex.org/W2102334337","https://openalex.org/W2103320605","https://openalex.org/W2104084528","https://openalex.org/W2108918420","https://openalex.org/W2109368894","https://openalex.org/W2110664267","https://openalex.org/W2116322260","https://openalex.org/W2116636970","https://openalex.org/W2124068769","https://openalex.org/W2135290452","https://openalex.org/W2138623498","https://openalex.org/W2146700655","https://openalex.org/W2148219974","https://openalex.org/W2163172376","https://openalex.org/W2164254635","https://openalex.org/W2167608641","https://openalex.org/W2232005191","https://openalex.org/W2335389215","https://openalex.org/W2354689145","https://openalex.org/W2470787773","https://openalex.org/W2568091325","https://openalex.org/W2610670723","https://openalex.org/W2798588639","https://openalex.org/W2950302630","https://openalex.org/W3099008750","https://openalex.org/W4205300528","https://openalex.org/W4211144022","https://openalex.org/W4233528875","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2380905223","https://openalex.org/W2316187651","https://openalex.org/W2005053760","https://openalex.org/W74604206","https://openalex.org/W2051563742","https://openalex.org/W91287677","https://openalex.org/W2028144918","https://openalex.org/W3016746667","https://openalex.org/W1587059467","https://openalex.org/W2962420748"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3,36],"classification":[4],"of":[5,8,21,27,38,66,84],"weak":[6],"models":[7,20],"distributed":[9,15],"computing.":[10],"We":[11,79],"focus":[12],"on":[13],"deterministic":[14],"algorithms,":[16],"and":[17,47],"we":[18],"study":[19,80],"computing":[22],"that":[23,70],"are":[24],"weaker":[25],"versions":[26],"the":[28,33,64,75,81],"widely-studied":[29],"port-numbering":[30,34,77],"model.":[31,78],"In":[32,59],"model,":[35],"node":[37],"degree":[39],"d":[40,44,52],"receives":[41],"messages":[42,50],"through":[43,51],"input":[45],"ports":[46],"it":[48],"sends":[49],"output":[53],"ports,":[54],"both":[55],"numbered":[56],"with":[57],"1,2,...,d.":[58],"this":[60],"work,":[61],"VVc":[62],"is":[63],"class":[65],"all":[67],"graph":[68],"problems":[69],"can":[71],"be":[72],"solved":[73],"in":[74],"standard":[76],"following":[82],"subclasses":[83],"VVc:":[85]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}