{"id":"W1967908173","doi":"10.1007/s00446-012-0162-z","title":"The correctness proof of Ben-Or’s randomized consensus algorithm","year":2012,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Randomized algorithm; Mathematical proof; Algorithm; Asynchronous communication; Adversary model; Message passing; Distributed algorithm; Process (computing); Theoretical computer science; Adversary; Mathematics; Distributed computing; Programming language; Computer security","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005920202,0.0009542321,0.001647534,0.0008933588,0.002108856,0.002663313,0.003421101,0.002824713,0.008006364],"category_scores_gemma":[0.02077135,0.0007901814,0.001295379,0.001021098,0.003842969,0.005296099,0.005183544,0.004001971,0.002253528],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0020653,"about_ca_system_score_gemma":0.004384436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002173639,"about_ca_topic_score_gemma":0.001574627,"domain_scores_codex":[0.992301,0.002952337,0.0003320232,0.001209593,0.002281186,0.0009239303],"domain_scores_gemma":[0.9887263,0.005020905,0.0004345564,0.00305802,0.002440033,0.0003201634],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006743628,0.00009498098,0.0005174791,0.0002727966,0.0001159656,0.0001754846,0.000390482,0.05986957,0.005868649,0.8716545,0.01360328,0.04676249],"study_design_scores_gemma":[0.0003957047,0.0001143064,0.0002524887,0.0000726853,0.00007667776,0.0001210629,0.0001220543,0.3414288,0.009413559,0.6332886,0.01463751,0.00007654683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02979471,0.0005943167,0.9173594,0.005831168,0.0008842833,0.0002594176,0.0002724879,0.001608322,0.04339584],"genre_scores_gemma":[0.7462149,0.0007108263,0.2255464,0.002538193,0.0005460829,0.000544195,0.0005698665,0.00063495,0.0226946],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008006364,"threshold_uncertainty_score":0.03130937,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01483399648761171,"score_gpt":0.2609815734317931,"score_spread":0.2461475769441814,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}