{"id":"https://openalex.org/W1980364588","doi":"https://doi.org/10.1137/s0097539798344367","title":"Generalized Irreducibility of Consensus and the Equivalence of <i>t</i>-Resilient and Wait-Free Implementations of Consensus","display_name":"Generalized Irreducibility of Consensus and the Equivalence of <i>t</i>-Resilient and Wait-Free Implementations of Consensus","publication_year":2004,"publication_date":"2004-12-10","ids":{"openalex":"https://openalex.org/W1980364588","doi":"https://doi.org/10.1137/s0097539798344367","mag":"1980364588"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539798344367","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539798344367","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085084822","display_name":"Tushar Chandra","orcid":"https://orcid.org/0009-0006-1475-3427"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tushar Chandra","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018077268","display_name":"Vassos Hadzilacos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vassos Hadzilacos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000699482","display_name":"Prasad Jayanti","orcid":"https://orcid.org/0000-0002-8930-3467"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Prasad Jayanti","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5000539327","display_name":"Sam Toueg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sam Toueg","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5085084822"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.927,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.79411834,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"34","issue":"2","first_page":"333","last_page":"357"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T12288","display_name":"Optimization and Search Problems","score":0.9898999929428101,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/uniform-consensus","display_name":"Uniform consensus","score":0.5997076630592346},{"id":"https://openalex.org/keywords/consensus","display_name":"Consensus","score":0.5985684394836426},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5426157116889954},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5381063222885132},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4791952073574066},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4767611622810364},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4717218279838562},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.45517778396606445},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.43381351232528687},{"id":"https://openalex.org/keywords/irreducibility","display_name":"Irreducibility","score":0.4183327853679657},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4112909734249115},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4068804085254669},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.348907470703125},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11513811349868774},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.10469424724578857},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09056854248046875}],"concepts":[{"id":"https://openalex.org/C80966040","wikidata":"https://www.wikidata.org/wiki/Q7885028","display_name":"Uniform consensus","level":4,"score":0.5997076630592346},{"id":"https://openalex.org/C107107730","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus","level":3,"score":0.5985684394836426},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5426157116889954},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5381063222885132},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4791952073574066},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4767611622810364},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4717218279838562},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.45517778396606445},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.43381351232528687},{"id":"https://openalex.org/C2776823524","wikidata":"https://www.wikidata.org/wiki/Q6073561","display_name":"Irreducibility","level":2,"score":0.4183327853679657},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4112909734249115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4068804085254669},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.348907470703125},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11513811349868774},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.10469424724578857},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09056854248046875},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/s0097539798344367","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539798344367","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1964729314","https://openalex.org/W1976075610","https://openalex.org/W1988881980","https://openalex.org/W2023292202","https://openalex.org/W2035362408","https://openalex.org/W2043801088","https://openalex.org/W2053113612","https://openalex.org/W2085407655","https://openalex.org/W2091404845","https://openalex.org/W2101939036","https://openalex.org/W2120152386","https://openalex.org/W2121236443","https://openalex.org/W2131716463"],"related_works":["https://openalex.org/W2148488729","https://openalex.org/W2155168782","https://openalex.org/W160760351","https://openalex.org/W2077240273","https://openalex.org/W27426697","https://openalex.org/W1589180207","https://openalex.org/W4287813715","https://openalex.org/W1996072328","https://openalex.org/W1820352398","https://openalex.org/W1980364588"],"abstract_inverted_index":{"We":[0],"study":[1],"the":[2,21,58,178],"consensus":[3,107,127,164,211,221,236],"problem,":[4],"which":[5,146],"requires":[6],"multiple":[7],"processes":[8,47],"with":[9],"different":[10],"input":[11],"values":[12],"to":[13,45,105,123,160,173,209,217,234],"agree":[14],"on":[15,32,50],"one":[16],"of":[17,23,35,60,63,74,91,110,130,136,148,177,180,194,224,241],"these":[18,71],"values,":[19],"in":[20,112,132,143,168,226,243],"context":[22],"asynchronous":[24],"shared":[25,92,195],"memory":[26],"systems.":[27],"Prior":[28],"research":[29],"focussed":[30],"either":[31],"t-resilient":[33,103],"solutions":[34,52],"this":[36,66,137,144,153],"problem":[37],"(which":[38,53],"must":[39,54],"be":[40,55],"correct":[41,56],"even":[42],"if":[43,114,117,203],"up":[44],"t":[46,84],"crash)":[48],"or":[49],"wait-free":[51,121,158,171,207,215,232],"despite":[57],"crash":[59],"any":[61],"number":[62],"processes).":[64],"In":[65],"paper,":[67,145],"we":[68],"show":[69],"that":[70,156,212,237],"two":[72],"forms":[73],"solvability":[75],"are":[76],"closely":[77],"related.":[78],"Specifically,":[79],"for":[80,185],"all":[81,88,186,191],"$n":[82,187],">":[83],"\\ge":[85,188],"2$":[86,189],"and":[87,115,190,222],"sets":[89,192],"${\\mathcal{S}}$":[90,113,193],"object":[93,196],"types":[94,111,131,179,197,225,242],"(that":[95,198],"include":[96,199],"simple":[97,200],"read/write":[98,201],"registers),":[99,202],"there":[100,118,204,229],"is":[101,119,147,165,205,230],"a":[102,120,157,170,206,214,231],"solution":[104,122,159,172,208,216,233],"n-process":[106,174,210,235],"using":[108,128],"objects":[109,129,181,223,240],"only":[116,239],"(t":[124],"+":[125],"1)-process":[126,163,220],"${\\mathcal{S}}$.":[133,244],"Our":[134],"proof":[135],"equivalence":[138],"uses":[139,213,238],"another":[140],"result":[141,154],"derived":[142],"independent":[149],"interest.":[150],"Roughly":[151],"speaking,":[152],"states":[155],"(n":[161,218],"-":[162,219],"never":[166],"necessary":[167],"designing":[169],"consensus,":[175],"regardless":[176],"available.":[182],"More":[183],"precisely,":[184],"${\\mathcal{S}}$,":[227],"then":[228]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}