{"id":"W4240532885","doi":"10.4018/9781605669021.ch012","title":"An Operational 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":"Operational semantics; Process calculus; Computer science; Denotational semantics; Programming language; Semantics (computer science); Process (computing); Software engineering; Software; Software system; Set (abstract data type); 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.001623887,0.0008919681,0.0006057125,0.001300594,0.001350316,0.003943271,0.001326256,0.001573538,0.005808279],"category_scores_gemma":[0.002018914,0.000451376,0.00152468,0.001785827,0.005459161,0.009353596,0.001940105,0.004272598,0.002350081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001512516,"about_ca_system_score_gemma":0.001895028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001380477,"about_ca_topic_score_gemma":0.0008068276,"domain_scores_codex":[0.9985564,0.0004331611,0.0001465977,0.0002749794,0.0004782262,0.0001106184],"domain_scores_gemma":[0.9991912,0.0003243288,0.00007694569,0.0001490312,0.000197048,0.00006140088],"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.000002631441,0.000005581672,0.0000135598,0.00003003258,0.000002944304,0.00004002048,0.0001676251,0.000430655,0.0004167409,0.9930429,0.00105004,0.004797239],"study_design_scores_gemma":[0.000005916952,0.0000105899,0.00003902489,0.00004260311,0.000006053988,0.0002202438,0.00008121472,0.004279546,0.0006190262,0.917818,0.0768659,0.00001178885],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004095646,0.005237916,0.8812304,0.00261312,0.0009255674,0.0001163168,0.0002843024,0.0007145487,0.1047822],"genre_scores_gemma":[0.3071164,0.009660346,0.6242521,0.00265786,0.001678295,0.0008729255,0.001231648,0.0007462356,0.05178418],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005808279,"threshold_uncertainty_score":0.01943058,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02004812319487118,"score_gpt":0.2559168042413431,"score_spread":0.2358686810464719,"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."}}