{"id":"W1892184140","doi":"10.1109/ccece.1993.332460","title":"Designing parallel specifications in CCS","year":2002,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Asynchronous communication; Computer science; Operator (biology); Programming language; Style (visual arts); Composition (language); Theoretical computer science; Computer network","routes":{"ca_aff":true,"ca_fund":true,"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.006856774,0.0008168739,0.0005289095,0.0008362732,0.00206856,0.003088765,0.001730912,0.001328535,0.005186848],"category_scores_gemma":[0.01055467,0.001204893,0.001218542,0.001172868,0.002774502,0.004848064,0.003161675,0.002068353,0.00166927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001358648,"about_ca_system_score_gemma":0.003531534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00393704,"about_ca_topic_score_gemma":0.006108941,"domain_scores_codex":[0.9942305,0.002408634,0.0005936246,0.0005075943,0.001845197,0.0004144511],"domain_scores_gemma":[0.99502,0.00244483,0.0003544831,0.0008828398,0.001078371,0.000219378],"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.00008585357,0.00005185586,0.00057427,0.0003741032,0.00003634091,0.0004314764,0.002110287,0.03830966,0.007560311,0.9078053,0.003522829,0.0391378],"study_design_scores_gemma":[0.0001680767,0.0001475712,0.0001150426,0.0002132284,0.00008769416,0.0003909736,0.0007774242,0.2000546,0.02875286,0.6033096,0.165897,0.00008589522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00520029,0.0001173031,0.98783,0.0002912761,0.00006295625,0.0001885512,0.00008204938,0.000974399,0.005253153],"genre_scores_gemma":[0.1245588,0.0005730693,0.865538,0.000328799,0.00007723314,0.0009084892,0.0003780135,0.0006145123,0.007023083],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006856774,"threshold_uncertainty_score":0.03626251,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08192230864668257,"score_gpt":0.2603679336096349,"score_spread":0.1784456249629523,"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."}}