{"id":"W2107208179","doi":"10.1145/777412.777467","title":"Toward a decidable notion of sequential consistency","year":2003,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Decidability; Undecidable problem; Correctness; Computer science; Upper and lower bounds; Prefix; Consistency (knowledge bases); Sequential consistency; Protocol (science); Theoretical computer science; Conjecture; Discrete mathematics; Counterexample; Reachability problem; Mathematics; Algorithm; Consistency model","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001921017,0.00005927461,0.0001206788,0.00002968721,0.00003344609,0.00004155222,0.000226718,0.0000353454,0.00004940473],"category_scores_gemma":[0.00003345018,0.00005040911,0.00005052873,0.0002279245,0.00002256091,0.0002118086,0.00002653436,0.00003215808,0.00004108406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001515054,"about_ca_system_score_gemma":0.00007642227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006369223,"about_ca_topic_score_gemma":0.000007071868,"domain_scores_codex":[0.9992942,0.00004071619,0.000208217,0.0001643607,0.0001580892,0.0001343659],"domain_scores_gemma":[0.999501,0.00001776306,0.0000650143,0.0002691437,0.0001033161,0.00004378926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001329261,0.00005506419,0.0003206822,0.00001977654,0.000009475661,0.000006090781,0.0001232133,0.00006456355,0.00253557,0.9922932,0.001405604,0.003165384],"study_design_scores_gemma":[0.006473457,0.0008207201,0.009706725,0.0003629502,0.00005354274,0.0005890916,0.0007720235,0.09390522,0.3642965,0.06693891,0.4540415,0.002039345],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00523771,0.00008408311,0.8784321,0.00008538368,0.0003462466,0.00008213918,0.000002838493,0.00005076388,0.1156787],"genre_scores_gemma":[0.9746743,0.000002328428,0.02450577,0.0000621633,0.00000906198,0.000005181789,9.701025e-7,0.000002027914,0.0007381974],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9694366,"threshold_uncertainty_score":0.2055624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0325474592930355,"score_gpt":0.2504543122260805,"score_spread":0.217906852933045,"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."}}