{"id":"W1984249228","doi":"10.1145/1314690.1314695","title":"On specification of Read/Write shared variables","year":2007,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Computer science; Variable (mathematics); Inter-process communication; Consistency (knowledge bases); Abstraction; Value (mathematics); Programming language; Distributed computing; Mathematics","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.0103143,0.001804507,0.001462141,0.001522793,0.002643691,0.005908383,0.004275453,0.003592041,0.004417403],"category_scores_gemma":[0.01294503,0.001635419,0.002341655,0.002167898,0.007604876,0.01068202,0.005804318,0.006357944,0.00177283],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001969549,"about_ca_system_score_gemma":0.00418581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003922921,"about_ca_topic_score_gemma":0.004331292,"domain_scores_codex":[0.989934,0.00377768,0.001207196,0.001245327,0.002712082,0.001123632],"domain_scores_gemma":[0.9899691,0.003690295,0.0009069736,0.003359069,0.001707292,0.0003672818],"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.00006540523,0.00003432721,0.0003779939,0.0001371049,0.0000142936,0.0003088678,0.0008520053,0.007145815,0.001777483,0.9761287,0.002300192,0.0108578],"study_design_scores_gemma":[0.0001149415,0.0001270614,0.0001830914,0.0003069007,0.00006468897,0.0005697629,0.0004120215,0.0472984,0.0107359,0.8143895,0.1257035,0.0000941817],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004115123,0.0005296201,0.9867404,0.0007311742,0.0001291427,0.0001803285,0.0002767582,0.001245645,0.006051733],"genre_scores_gemma":[0.1336935,0.001522961,0.8480343,0.001573339,0.0003995058,0.001491952,0.001295253,0.001198944,0.01079026],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0103143,"threshold_uncertainty_score":0.05454791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02209601659419397,"score_gpt":0.2618276950884225,"score_spread":0.2397316784942286,"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."}}