{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002847479,0.0001274963,0.0001615975,0.00003873397,0.0002448223,0.0005107842,0.0004949516,0.00009109688,0.000006162026],"category_scores_gemma":[0.00002377129,0.0001064615,0.00009892244,0.0002863598,0.00002241937,0.0007238854,0.00009225705,0.00009171834,0.0000164167],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002832459,"about_ca_system_score_gemma":0.00003583958,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007247055,"about_ca_topic_score_gemma":0.00001979286,"domain_scores_codex":[0.9987148,0.00001509919,0.0002689871,0.0003068165,0.0001987066,0.0004955793],"domain_scores_gemma":[0.999328,0.0000830921,0.00009064244,0.0003575144,0.00008162911,0.00005910953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002425852,0.00004151166,0.0001917373,0.00002221829,0.000004901016,0.000002763663,0.00005389792,0.0001046391,0.00002694019,0.8118939,0.0018314,0.1858236],"study_design_scores_gemma":[0.001353822,0.0002255486,0.003263365,0.0004052548,0.00001668459,0.00005861913,0.0001759532,0.2598121,0.00263067,0.08206534,0.64901,0.0009826273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001063527,0.0002245638,0.9917703,0.0006273156,0.0003588404,0.0003294418,0.000006003681,0.0003259633,0.005294015],"genre_scores_gemma":[0.4930173,5.09949e-7,0.5059607,0.0001242058,0.0001772598,0.00008431657,0.00000650347,0.000007319451,0.0006218334],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7298286,"threshold_uncertainty_score":0.4925503,"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."}}