{"id":"W2033263907","doi":"10.4018/jcini.2008070106","title":"An Operational 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":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Operational semantics; Process calculus; Denotational semantics; Programming language; Semantics (computer science); Process (computing); Software; Software engineering; Set (abstract data type); Software system; 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.00342373,0.001013126,0.0008417965,0.001563043,0.001744249,0.004228475,0.001737512,0.00208463,0.004195017],"category_scores_gemma":[0.004289438,0.0005290194,0.002516886,0.001563757,0.007131182,0.009423992,0.002628214,0.004483272,0.001477321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001313015,"about_ca_system_score_gemma":0.002755803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001778025,"about_ca_topic_score_gemma":0.0008378397,"domain_scores_codex":[0.9962754,0.001070689,0.0005075316,0.0007100814,0.001140614,0.000295683],"domain_scores_gemma":[0.997687,0.0008009822,0.0002750884,0.0004075054,0.0006553634,0.0001741635],"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.000006178734,0.00000929438,0.00002569385,0.00002941929,0.000005879629,0.00006469107,0.00017716,0.0008187229,0.0005724644,0.9946614,0.0004903672,0.003138766],"study_design_scores_gemma":[0.000016701,0.0000262386,0.00004975281,0.00003088686,0.0000131901,0.0002500349,0.0000812701,0.008267744,0.0009555751,0.9553903,0.03489533,0.00002303395],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004888126,0.001468543,0.9668068,0.001683755,0.0006349928,0.000137145,0.0002711455,0.0006228968,0.02348663],"genre_scores_gemma":[0.3616385,0.002579652,0.6170711,0.001972662,0.00151885,0.0009872811,0.0009756593,0.0004549334,0.01280144],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004228475,"threshold_uncertainty_score":0.01810664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01583814958603705,"score_gpt":0.3006308669318204,"score_spread":0.2847927173457834,"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."}}