{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001425601,0.001178785,0.0007178939,0.001688882,0.002326385,0.00409409,0.002057039,0.001853268,0.009305981],"category_scores_gemma":[0.003174739,0.0009165866,0.001393427,0.001618365,0.00548752,0.005825202,0.003752264,0.002804883,0.001694846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001753519,"about_ca_system_score_gemma":0.001778231,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003761799,"about_ca_topic_score_gemma":0.003239104,"domain_scores_codex":[0.9980996,0.0003162749,0.0001789512,0.0004626168,0.0006056242,0.0003369138],"domain_scores_gemma":[0.9979825,0.0008406804,0.0001233075,0.0003680813,0.0005402475,0.0001451881],"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.00003131959,0.00002495402,0.00009532812,0.00006838108,0.000007970702,0.0001100782,0.000278649,0.001683975,0.001771705,0.9823682,0.001047847,0.01251153],"study_design_scores_gemma":[0.00004250606,0.00004103208,0.0001279696,0.00005029413,0.00003344638,0.0002202421,0.0001715853,0.01831163,0.005523664,0.9463034,0.0291268,0.00004733572],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01076127,0.00026085,0.9596384,0.0006065033,0.0002151496,0.0001067239,0.0002087676,0.001997772,0.02620461],"genre_scores_gemma":[0.4056408,0.00041583,0.5767348,0.0005591171,0.0002552885,0.000360025,0.0005184693,0.0008784314,0.01463728],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009305981,"threshold_uncertainty_score":0.03113163,"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."}}