{"id":"W2076003965","doi":"10.1007/s00224-003-1082-x","title":"Automatable Verification of Sequential Consistency","year":2003,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Undecidable problem; Consistency model; Sequential consistency; Computer science; Consistency (knowledge bases); Decidability; Class (philosophy); Protocol (science); Task (project management); Theoretical computer science; State (computer science); Multiprocessing; Programming language; Finite-state machine; Model checking; Parallel computing; Artificial intelligence; Correctness","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.005677766,0.001090902,0.001472726,0.001521809,0.002030646,0.004294088,0.003521275,0.002346154,0.0068746],"category_scores_gemma":[0.03811319,0.001418083,0.002633989,0.00110125,0.006176226,0.00880583,0.005254475,0.005925876,0.001056662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003147705,"about_ca_system_score_gemma":0.005204245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005326563,"about_ca_topic_score_gemma":0.006277114,"domain_scores_codex":[0.9901953,0.00325729,0.0007237068,0.001671584,0.0029793,0.001172772],"domain_scores_gemma":[0.9335933,0.04880038,0.001997391,0.009373754,0.005480037,0.0007550719],"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.001188998,0.0003252063,0.002154763,0.000484978,0.0001822588,0.0005807913,0.0009679937,0.0908497,0.01552686,0.8296221,0.005936623,0.05217961],"study_design_scores_gemma":[0.0001899408,0.00007799536,0.0002230845,0.00004531493,0.00007801975,0.00008371064,0.00008792987,0.2913494,0.01530819,0.6896642,0.002848379,0.00004381372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06523935,0.0001918661,0.9167036,0.001631638,0.0004072678,0.0002110563,0.00039182,0.00501517,0.01020829],"genre_scores_gemma":[0.8666423,0.0001406533,0.1260591,0.0005487009,0.0002026474,0.0002593887,0.0005243405,0.0005222787,0.005100468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0068746,"threshold_uncertainty_score":0.03002721,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02071184204497678,"score_gpt":0.2472285293384058,"score_spread":0.226516687293429,"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."}}