{"id":"W4237006994","doi":"10.4018/9781605660608.ch193","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; Software engineering; 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.001660386,0.0008946869,0.0006100914,0.001301695,0.001361199,0.003917182,0.00135546,0.001599854,0.005897898],"category_scores_gemma":[0.002051843,0.0004483387,0.001536892,0.001785442,0.00547482,0.009207204,0.001948941,0.0043166,0.002405258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001541326,"about_ca_system_score_gemma":0.00188952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001381553,"about_ca_topic_score_gemma":0.0008102094,"domain_scores_codex":[0.9985266,0.0004534944,0.0001480787,0.0002809516,0.0004799048,0.0001109706],"domain_scores_gemma":[0.9991763,0.0003338827,0.000078688,0.0001504771,0.0001984222,0.00006217683],"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.000002598912,0.000005658887,0.00001340029,0.00003041757,0.000002896789,0.0000399801,0.0001633022,0.0004473099,0.0004064107,0.9932289,0.001023374,0.004635747],"study_design_scores_gemma":[0.000005979896,0.0000107354,0.00003865533,0.00004349855,0.000006007384,0.0002213501,0.00008043573,0.004416919,0.0005972906,0.9177855,0.07678204,0.00001170156],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004046753,0.005423919,0.8807259,0.002675703,0.0009444578,0.0001204866,0.0002840399,0.0007126259,0.1050663],"genre_scores_gemma":[0.3047208,0.009747131,0.6270914,0.002675434,0.001689181,0.0008849218,0.001207818,0.0007360363,0.05124731],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005897898,"threshold_uncertainty_score":0.01973045,"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."}}