{"id":"W2008590694","doi":"10.1007/s001650200032","title":"A Refinement Calculus for Shared-Variable Parallel and Distributed Programming","year":2002,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Concurrency; Programming language; Process calculus; Software portability; Theoretical computer science; Communicating sequential processes; Operational semantics; Semantics (computer science)","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.00505053,0.0005563924,0.0007389798,0.0009006346,0.001654015,0.002135544,0.001818173,0.0007580763,0.004361641],"category_scores_gemma":[0.005260962,0.0006428512,0.001784137,0.00139588,0.003871386,0.003194206,0.002377537,0.002992808,0.0007382038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002660942,"about_ca_system_score_gemma":0.003645741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008267726,"about_ca_topic_score_gemma":0.006170162,"domain_scores_codex":[0.9970481,0.0008192647,0.000180355,0.0002941404,0.001375666,0.000282583],"domain_scores_gemma":[0.9969804,0.001663505,0.0001612266,0.0004092088,0.0006450855,0.0001405152],"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.00001504529,0.00001635501,0.00009219845,0.00003858343,0.000009904217,0.0000791476,0.0001893611,0.01006834,0.0007686389,0.9800643,0.0008094359,0.007848638],"study_design_scores_gemma":[0.00005570363,0.00002499273,0.00007449933,0.00003413412,0.00003351041,0.00007826966,0.00004679055,0.1189885,0.001719895,0.8535432,0.02537668,0.00002388675],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00417438,0.000249858,0.9876987,0.0002960707,0.00007888464,0.00009420856,0.00006332734,0.0003462299,0.006998316],"genre_scores_gemma":[0.1961686,0.0007067976,0.7901313,0.0002860894,0.0002030739,0.0004724223,0.0002619395,0.0002893343,0.01148044],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008267726,"threshold_uncertainty_score":0.02671003,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01856906399011817,"score_gpt":0.246454601335523,"score_spread":0.2278855373454049,"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."}}