{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003701923,0.0001604783,0.0002484855,0.00009384277,0.0002738403,0.0001456451,0.0004532447,0.00005844128,0.000008397307],"category_scores_gemma":[0.00008362407,0.0001543732,0.00006251102,0.0003300523,0.00003659527,0.0003686034,0.000401136,0.00009587256,0.000001983061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003069422,"about_ca_system_score_gemma":0.0000200064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000154865,"about_ca_topic_score_gemma":8.989903e-7,"domain_scores_codex":[0.9986163,0.00002466044,0.0004037111,0.0003156301,0.0001916371,0.0004480541],"domain_scores_gemma":[0.9991227,0.0001111204,0.0002363839,0.0002725386,0.0001679132,0.00008933804],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002201874,0.0003275487,0.0004243309,0.0003261587,0.00008291712,0.000008513386,0.001658719,0.07952551,0.0001186559,0.7185144,0.00353817,0.1954531],"study_design_scores_gemma":[0.0005650658,0.0002479798,0.0003199154,0.00008952576,0.000007149067,0.00001743117,0.00001673049,0.9912839,0.0002622765,0.002640668,0.004358026,0.000191322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002209414,0.0002419036,0.9945876,0.0002443996,0.00008332812,0.0003598894,0.000007101759,0.0004268461,0.001839509],"genre_scores_gemma":[0.5122277,0.000005255239,0.4876378,0.00004531997,0.00003551678,0.000009108047,0.00000999142,0.000006145653,0.00002318844],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9117584,"threshold_uncertainty_score":0.6295155,"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."}}