{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001585383,0.0009111502,0.0005907766,0.001228782,0.001161219,0.003630494,0.001301824,0.001571643,0.00544509],"category_scores_gemma":[0.001746761,0.0004350759,0.001351771,0.001601247,0.005346006,0.008744401,0.001693076,0.004126486,0.00233316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001469586,"about_ca_system_score_gemma":0.001734499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001190364,"about_ca_topic_score_gemma":0.0006443384,"domain_scores_codex":[0.9986971,0.0003857904,0.0001366792,0.0002504203,0.0004358823,0.00009424468],"domain_scores_gemma":[0.999229,0.0003274527,0.00006956528,0.0001409141,0.000181327,0.0000518755],"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.000002061654,0.000004602851,0.000009946455,0.00002799856,0.000002349125,0.00003400028,0.0001252894,0.0004158338,0.0003669421,0.9936545,0.0009693477,0.004387138],"study_design_scores_gemma":[0.000005524763,0.00001073684,0.00003414614,0.00003995928,0.00000509577,0.0002088249,0.00005910343,0.003428794,0.0005393273,0.9078794,0.08777831,0.00001092634],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00413047,0.006428974,0.8573745,0.002647227,0.001106998,0.0001186453,0.0002875504,0.0006622534,0.1272434],"genre_scores_gemma":[0.3022669,0.01152478,0.6078153,0.002759753,0.001991618,0.0008769988,0.001180305,0.0007039951,0.07088032],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.00544509,"threshold_uncertainty_score":0.01821566,"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."}}