{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001429251,0.0000512944,0.0001250807,0.00006226604,0.00004065087,0.0000397392,0.002177387,0.00003541914,0.00001126056],"category_scores_gemma":[0.0004482253,0.00003128316,0.00008435328,0.0002763998,0.00001690219,0.0001904588,0.0001519157,0.0001273192,0.00000634793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003683389,"about_ca_system_score_gemma":0.00003000662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005613821,"about_ca_topic_score_gemma":0.000001864116,"domain_scores_codex":[0.9990315,0.00003030764,0.0004139384,0.00007067071,0.0003458086,0.0001077497],"domain_scores_gemma":[0.9981352,0.0001591503,0.000572176,0.000886608,0.0002052089,0.00004164523],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0004972499,0.0009358783,0.006583046,0.0001257214,0.0002446873,0.0001218007,0.003306981,0.002331248,0.1148534,0.4916061,0.244661,0.1347329],"study_design_scores_gemma":[0.002788419,0.0007946801,0.5106371,0.001860886,0.00005354381,0.0006903177,0.0003545133,0.004633624,0.079106,0.1356647,0.262876,0.0005401844],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1552009,0.0004113813,0.8239523,0.005114533,0.002642735,0.0001524921,0.00001414609,0.00001909115,0.01249244],"genre_scores_gemma":[0.9821697,0.000008730205,0.01716176,0.0001427495,0.0001858754,1.431498e-7,2.848204e-7,0.000003156093,0.0003275423],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8269688,"threshold_uncertainty_score":0.4046162,"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."}}