{"id":"W2070537348","doi":"10.4018/jcini.2008070105","title":"A Denotational Semantics of Real-Time Process Algebra (RTPA)","year":2008,"lang":"en","type":"article","venue":"International Journal of Cognitive Informatics and Natural Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Denotational semantics; Concurrency; Process calculus; Computer science; Denotational semantics of the Actor model; Interrupt; Normalisation by evaluation; Process (computing); Operational semantics; Semantics (computer science); Programming language; Set (abstract data type); Theoretical computer science; Algebra over a field; Mathematics","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.003605747,0.001230802,0.0009432408,0.001609482,0.001678409,0.004513425,0.001909842,0.001621629,0.004761459],"category_scores_gemma":[0.004928559,0.0006407815,0.002453751,0.001638571,0.004819174,0.008910221,0.002693759,0.003323108,0.001393662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001545442,"about_ca_system_score_gemma":0.002267566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001451251,"about_ca_topic_score_gemma":0.0009810149,"domain_scores_codex":[0.997314,0.0009696022,0.0003816665,0.0004618847,0.0006482158,0.0002246774],"domain_scores_gemma":[0.9976985,0.001016646,0.0002567155,0.0003995433,0.0004985329,0.0001300658],"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.000008455111,0.00001524807,0.00004316952,0.00005428869,0.000009154684,0.0000928705,0.0003434919,0.002201335,0.0006413989,0.99064,0.0005605429,0.005390142],"study_design_scores_gemma":[0.00002341677,0.00004523979,0.00008835612,0.00006177534,0.00002603672,0.0002440666,0.0001671468,0.02181593,0.001365654,0.9417632,0.03436812,0.00003105694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003970267,0.0009926435,0.9808802,0.0008008779,0.0002568998,0.00008886809,0.000198082,0.0004723522,0.01233982],"genre_scores_gemma":[0.2387698,0.002045736,0.7483464,0.0006883787,0.0006163307,0.0008225158,0.0006414489,0.0002329484,0.007836591],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004761459,"threshold_uncertainty_score":0.01906925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01568677640105672,"score_gpt":0.2891254656466306,"score_spread":0.2734386892455739,"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."}}