{"id":"https://openalex.org/W2151102492","doi":"https://doi.org/10.1145/2332432.2332458","title":"Generalized lattice agreement","display_name":"Generalized lattice agreement","publication_year":2012,"publication_date":"2012-07-16","ids":{"openalex":"https://openalex.org/W2151102492","doi":"https://doi.org/10.1145/2332432.2332458","mag":"2151102492"},"language":"en","primary_location":{"id":"doi:10.1145/2332432.2332458","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2332432.2332458","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":"conference-paper","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/A5053191818","display_name":"Jose M. Faleiro","orcid":"https://orcid.org/0000-0003-2125-5160"},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Jose M. Faleiro","raw_affiliation_strings":["Microsoft Research, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076139746","display_name":"Sriram K. Rajamani","orcid":"https://orcid.org/0000-0002-1400-7065"},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sriram Rajamani","raw_affiliation_strings":["Microsoft Research, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104063234","display_name":"Kaushik Sunder Rajan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Kaushik Rajan","raw_affiliation_strings":["Microsoft Research, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005900665","display_name":"G. Ramalingam","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"G. Ramalingam","raw_affiliation_strings":["Microsoft Research, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011779401","display_name":"Kapil Vaswani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Kapil Vaswani","raw_affiliation_strings":["Microsoft Research, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210124949"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"125","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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":0.9998999834060669,"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.9700999855995178,"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/T13471","display_name":"Cognitive Functions and Memory","score":0.9538000226020813,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8796054720878601},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.7566732168197632},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7118385434150696},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6361056566238403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5950580835342407},{"id":"https://openalex.org/keywords/leader-election","display_name":"Leader election","score":0.5005543231964111},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4892005920410156},{"id":"https://openalex.org/keywords/consensus","display_name":"Consensus","score":0.4248262643814087},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.42476171255111694},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39610445499420166},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3659393787384033},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30174630880355835},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.15134146809577942},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09677168726921082}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8796054720878601},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.7566732168197632},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7118385434150696},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6361056566238403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5950580835342407},{"id":"https://openalex.org/C53480672","wikidata":"https://www.wikidata.org/wiki/Q1424189","display_name":"Leader election","level":2,"score":0.5005543231964111},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4892005920410156},{"id":"https://openalex.org/C107107730","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus","level":3,"score":0.4248262643814087},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.42476171255111694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39610445499420166},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3659393787384033},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30174630880355835},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.15134146809577942},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09677168726921082},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2332432.2332458","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2332432.2332458","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"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1599934884","https://openalex.org/W1997124359","https://openalex.org/W2023866984","https://openalex.org/W2035362408","https://openalex.org/W2047482026","https://openalex.org/W2065180040","https://openalex.org/W2075854425","https://openalex.org/W2095126777","https://openalex.org/W2101939036","https://openalex.org/W2106670435","https://openalex.org/W2130068507","https://openalex.org/W3100217861"],"related_works":["https://openalex.org/W2961758588","https://openalex.org/W1856421163","https://openalex.org/W2119596766","https://openalex.org/W3186873428","https://openalex.org/W2020925319","https://openalex.org/W1537369971","https://openalex.org/W257415839","https://openalex.org/W1974895073","https://openalex.org/W2407805152","https://openalex.org/W1568841821"],"abstract_inverted_index":{"Lattice":[0],"agreement":[1,45,63,77,115],"is":[2,33,104,147,154,178],"a":[3,19,28,40,85,95,121,134,148,159,175,194],"key":[4],"decision":[5],"problem":[6,78],"in":[7,35,52,65,180],"distributed":[8],"systems.":[9,69],"In":[10,57],"this":[11,58,187],"problem,":[12,116],"processes":[13,89],"start":[14],"with":[15],"input":[16],"values":[17,25,126,138],"from":[18,127],"lattice,":[20],"and":[21,131,150,208,210,224],"must":[22,132],"learn":[23,133],"(non-trivial)":[24],"that":[26,79,140,170,186],"form":[27],"chain.":[29],"Unlike":[30],"consensus,":[31],"which":[32],"impossible":[34],"the":[36,53,75,88,105,112,141],"presence":[37,54],"of":[38,55,87,98,107,125,136,143,196,228],"even":[39],"single":[41],"process":[42,119,177],"failure,":[43],"lattice":[44,62,76,114,130,165],"has":[46,94],"been":[47],"shown":[48],"to":[49,192,221],"be":[50,190,204,219],"decidable":[51],"failures.":[56],"paper,":[59],"we":[60],"consider":[61],"problems":[64],"asynchronous,":[66],"message":[67,100,182],"passing":[68],"We":[70,109,157,184],"present":[71,158],"an":[72,128],"algorithm":[73,93,161,168,188,217],"for":[74,162],"guarantees":[80,169],"liveness":[81],"as":[82,84,206],"long":[83],"majority":[86],"are":[90],"non-faulty.":[91],"The":[92,167],"time":[96],"complexity":[97],"O(N)":[99,181],"delays,":[101],"where":[102,117,200],"N":[103],"number":[106],"processes.":[108],"then":[110],"introduce":[111],"generalized":[113,164],"each":[118],"receives":[120],"(potentially":[122],"unbounded)":[123],"sequence":[124,135],"infinite":[129],"increasing":[137],"such":[139],"union":[142],"all":[144,212],"learnt":[145,179],"sequences":[146],"chain":[149],"every":[151,171],"proposed":[152],"value":[153,172],"eventually":[155],"learnt.":[156],"wait-free":[160],"solving":[163],"agreement.":[166],"received":[173],"by":[174],"correct":[176],"delays.":[183],"show":[185],"can":[189,203,218],"used":[191,220,230],"implement":[193],"class":[195],"replicated":[197,226],"state":[198],"machines":[199],"(a)":[201],"commands":[202,214],"classified":[205],"reads":[207],"updates,":[209],"(b)":[211],"update":[213],"commute.":[215],"This":[216],"realize":[222],"serializable":[223],"linearizable":[225],"versions":[227],"commonly":[229],"data":[231],"types.":[232]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}