{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003357625,0.0001397428,0.0002332991,0.0002537154,0.00007522519,0.0000655547,0.0006591565,0.00005201987,0.00002389356],"category_scores_gemma":[0.0004454412,0.0001168238,0.0001023242,0.0002612745,0.000191393,0.0008195952,0.0002013876,0.0002796263,0.00001445568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002451805,"about_ca_system_score_gemma":0.0001380539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003532774,"about_ca_topic_score_gemma":5.783955e-7,"domain_scores_codex":[0.9981779,0.00003508403,0.00082414,0.00008936193,0.0007257524,0.0001477302],"domain_scores_gemma":[0.9950531,0.0007897361,0.0008390761,0.00006529299,0.00316947,0.00008339389],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009101757,0.0007231808,0.01600849,0.0001656006,0.001526556,0.0005754638,0.04107861,0.004052754,0.001027196,0.02422732,0.001348131,0.9083565],"study_design_scores_gemma":[0.001546941,0.001006856,0.04006059,0.00246034,0.00009205567,0.006388884,0.001412425,0.8830081,0.03645241,0.02656703,0.0002009432,0.0008034335],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6278925,0.0002204086,0.3702154,0.0001325133,0.000456091,0.00007101097,0.000006704052,0.00001425525,0.0009910951],"genre_scores_gemma":[0.9861137,0.0008682131,0.01262886,0.000213002,0.0001194632,8.981785e-7,0.000004834943,0.000004933756,0.0000460917],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9075531,"threshold_uncertainty_score":0.4763934,"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."}}