{"id":"W2122172746","doi":"10.1007/978-3-540-75221-9_3","title":"A Denotational Semantics for Handel-C","year":2007,"lang":"en","type":"article","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Trinity College","funders":"","keywords":"Denotational semantics of the Actor model; Denotational semantics; Normalisation by evaluation; Assertion; Action semantics; Programming language; Computer science; Operational semantics; Semantics (computer science); Construct (python library); Domain theory; Mathematics; Discrete mathematics","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.002978769,0.0001312466,0.0001288239,0.0003728983,0.0002330439,0.0002505429,0.00155861,0.00006760954,0.000001371697],"category_scores_gemma":[0.0004944685,0.0001215467,0.00004329908,0.001697181,0.0002431553,0.0007398477,0.000264357,0.0001453751,0.000007235836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001266206,"about_ca_system_score_gemma":0.00018506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006235035,"about_ca_topic_score_gemma":0.00002445198,"domain_scores_codex":[0.9981096,0.00002944913,0.0002959713,0.0005688443,0.0004893715,0.0005068104],"domain_scores_gemma":[0.9983698,0.0006435649,0.0001006193,0.0005444187,0.0002486699,0.00009295448],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001071932,0.00005056813,0.001092416,0.00001733965,0.000002390065,0.000005583306,0.001238304,0.0279415,0.003777601,0.05426506,0.000006948256,0.9115916],"study_design_scores_gemma":[0.0002223457,0.00008530432,0.007012318,0.00001785698,0.000001119678,0.00002654059,4.207077e-7,0.8827916,0.05421753,0.0553203,0.0001451524,0.0001594916],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009933721,0.00004131172,0.9876968,0.0005693673,0.001369166,0.0002688821,7.545834e-7,0.00009762028,0.00002236632],"genre_scores_gemma":[0.4282024,7.951932e-7,0.5711387,0.0005371966,0.0001102923,0.000005971084,5.800767e-7,0.000003490492,5.758109e-7],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9114321,"threshold_uncertainty_score":0.495653,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02812111724424882,"score_gpt":0.3230330732908147,"score_spread":0.2949119560465658,"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."}}