{"id":"W4300502438","doi":"10.4018/9781605669021.ch011","title":"A Denotational Semantics of Real-Time Process Algebra (RTPA)","year":2011,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Denotational semantics; Process calculus; Denotational semantics of the Actor model; Concurrency; Computer science; Normalisation by evaluation; Interrupt; Process (computing); Programming language; Semantics (computer science); Set (abstract data type); Operational semantics; Theoretical computer science; Algebra over a field; Mathematics; Pure mathematics; Embedded system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001574043,0.0003717626,0.0004628512,0.00007018498,0.00008253603,0.00005766927,0.0009474187,0.0003043441,0.00005669206],"category_scores_gemma":[0.00001999227,0.0003847241,0.0001984006,0.0000459509,0.0001379639,0.00005824391,0.0004802857,0.0002350122,0.0002705898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000659448,"about_ca_system_score_gemma":0.0003045989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000257147,"about_ca_topic_score_gemma":0.0000101727,"domain_scores_codex":[0.9981124,0.00002509732,0.0004395443,0.0005969041,0.0005083854,0.0003176613],"domain_scores_gemma":[0.9983554,0.00009340257,0.0004346056,0.0005211752,0.0004605986,0.0001347447],"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.00001551314,0.00001637159,0.00002614058,0.00004618732,0.0000823456,0.00004330046,0.0001551062,0.00001196256,0.000008445399,0.9755043,0.001771566,0.02231876],"study_design_scores_gemma":[0.0002937611,0.0001553675,0.0002821247,0.0006013098,0.00007602546,0.00007004767,0.000001308607,0.002935431,0.0001188267,0.9937335,0.001179659,0.0005526564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0004858231,0.0001062134,0.03118557,0.00002307175,0.0002948247,0.0002252877,0.00003396259,0.0002102826,0.9674349],"genre_scores_gemma":[0.8333482,0.00003470642,0.02124397,0.0007045089,0.0009786143,0.0000241703,0.0000227645,0.0001364996,0.1435066],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8328623,"threshold_uncertainty_score":0.9998605,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02018859728776079,"score_gpt":0.246219232858909,"score_spread":0.2260306355711482,"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."}}