{"id":"W4253562517","doi":"10.4018/978-1-60566-060-8.ch193","title":"An Operational Semantics of Real-Time Process Algebra (RTPA)","year":2009,"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":"Operational semantics; Process calculus; Computer science; Denotational semantics; Programming language; Semantics (computer science); Process (computing); Software; Software system; Set (abstract data type); Software engineering; Theoretical computer science","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.0001839211,0.0003801868,0.0004620397,0.00006189872,0.0001134029,0.0001403657,0.001041837,0.0003191457,0.00002905207],"category_scores_gemma":[0.00001118581,0.0003901014,0.0001495914,0.00004465042,0.00009634043,0.0001068962,0.0002228203,0.000242729,0.00009831515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007245335,"about_ca_system_score_gemma":0.0003173303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001419847,"about_ca_topic_score_gemma":0.000009156694,"domain_scores_codex":[0.9980083,0.00003412441,0.0004314122,0.0006662047,0.0005528843,0.000307043],"domain_scores_gemma":[0.9984289,0.00004818229,0.000277256,0.0006408743,0.0004397055,0.0001650804],"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.00001275604,0.00002980835,0.00001350675,0.0000201737,0.00004103546,0.00004190589,0.00007635516,0.0001770279,0.00003749419,0.9336876,0.001589825,0.06427255],"study_design_scores_gemma":[0.0005638233,0.0007138546,0.000451488,0.0008021797,0.00008997469,0.0001262718,0.000002608362,0.05120697,0.0003174676,0.9416781,0.002914896,0.001132369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0007739652,0.00007723294,0.01929867,0.00007266405,0.0002192657,0.0002542937,0.0000358373,0.0002607351,0.9790074],"genre_scores_gemma":[0.8932052,0.00002688089,0.02396883,0.001755435,0.001542059,0.00001102887,0.00005276141,0.00009436486,0.0793435],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8996638,"threshold_uncertainty_score":0.9998551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01408107342634577,"score_gpt":0.2600223983480451,"score_spread":0.2459413249216994,"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."}}