{"id":"W2134391840","doi":"10.1109/ccece.2006.277495","title":"A Formal CSP Framework for Message-Passing HPC Programming","year":2006,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Message passing; Programming language; Communicating sequential processes; Formal methods; Parallel computing; Semantics (computer science); Operational semantics","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.003691062,0.001173797,0.0007438819,0.001141826,0.001913033,0.002928124,0.003019825,0.00113089,0.007447428],"category_scores_gemma":[0.005840077,0.0008066265,0.002366481,0.001928204,0.003530069,0.004081005,0.00256483,0.004255199,0.002352221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001984827,"about_ca_system_score_gemma":0.005816333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007201035,"about_ca_topic_score_gemma":0.005173701,"domain_scores_codex":[0.9972185,0.0009496309,0.0002658759,0.0003004491,0.001012956,0.0002525867],"domain_scores_gemma":[0.9969419,0.001585651,0.0002523296,0.0004472894,0.000572135,0.000200777],"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.00002135981,0.00002374459,0.00009614835,0.000138286,0.00001154579,0.0001340194,0.0002732729,0.01825736,0.001113627,0.9636427,0.00350942,0.01277844],"study_design_scores_gemma":[0.00008186898,0.00004292286,0.00006870877,0.0000979479,0.00002640822,0.0002909647,0.00009426172,0.1377614,0.003770149,0.7491273,0.10859,0.00004802522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007266463,0.00018521,0.9937232,0.0003397337,0.00005747872,0.00009097042,0.0001485874,0.000812282,0.003915957],"genre_scores_gemma":[0.06883334,0.00092015,0.922085,0.0003678002,0.0002600628,0.0007402482,0.0007105762,0.0004463291,0.005636589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007447428,"threshold_uncertainty_score":0.02491409,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01263816439563599,"score_gpt":0.2593312442354833,"score_spread":0.2466930798398473,"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."}}