{"id":"W1501306102","doi":"10.1007/3-540-40026-5_3","title":"Bounds for Mutual Exclusion with only Processor Consistency","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Mutual exclusion; Consistency (knowledge bases); Sequential consistency; Computer science; Consistency model; Upper and lower bounds; Weak consistency; Type (biology); Corollary; Algorithm; Strong consistency; Data consistency; Discrete mathematics; Mathematics; Theoretical computer science; Artificial intelligence; Distributed computing; Statistics","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.008977445,0.002564097,0.003753393,0.003241537,0.003702075,0.007695425,0.007518426,0.003745008,0.01657734],"category_scores_gemma":[0.04916432,0.00199069,0.002263986,0.003881151,0.005839529,0.0282225,0.009736395,0.01485621,0.003658823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004669165,"about_ca_system_score_gemma":0.002642628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001542834,"about_ca_topic_score_gemma":0.001571322,"domain_scores_codex":[0.9881036,0.002875175,0.0005164106,0.00163404,0.004687342,0.002183391],"domain_scores_gemma":[0.9342673,0.04744494,0.001839699,0.01077444,0.00401234,0.001661299],"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.0004066328,0.00009937131,0.0002158427,0.0002610745,0.00005702508,0.00005188921,0.0002751355,0.01954127,0.001085494,0.9352931,0.01008495,0.03262833],"study_design_scores_gemma":[0.00003696169,0.00003764788,0.0001133581,0.00007663295,0.00005574523,0.00004600234,0.00002879832,0.05320522,0.001079039,0.9394516,0.00583907,0.00002989113],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01780488,0.006457685,0.8571793,0.004383692,0.001734723,0.0001465379,0.000507245,0.002325229,0.1094607],"genre_scores_gemma":[0.7006796,0.004873562,0.2396488,0.003134883,0.005084656,0.001364315,0.0008916057,0.002752887,0.04156984],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01657734,"threshold_uncertainty_score":0.0554567,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0128336601059376,"score_gpt":0.2377280046285009,"score_spread":0.2248943445225633,"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."}}