{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003840505,0.0001429293,0.0002279117,0.0002276557,0.00009080768,0.00009935021,0.0007719486,0.00005601028,0.0000282801],"category_scores_gemma":[0.0002636636,0.0001179157,0.00008175205,0.0002205018,0.0001820712,0.001358206,0.000152627,0.0002797676,0.00001040748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002218049,"about_ca_system_score_gemma":0.0001430762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004733309,"about_ca_topic_score_gemma":7.311256e-7,"domain_scores_codex":[0.998225,0.0000456934,0.0008007699,0.0000991683,0.0006856663,0.000143686],"domain_scores_gemma":[0.9954694,0.0004538764,0.0006488712,0.00008336604,0.003241732,0.0001027485],"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.0009736728,0.001228685,0.01890901,0.0001268999,0.001252631,0.0005088696,0.04448029,0.009603146,0.002696435,0.02897418,0.001056591,0.8901896],"study_design_scores_gemma":[0.0006920427,0.0008547923,0.01575556,0.0008544496,0.00003642504,0.002633109,0.0007644013,0.9422517,0.02881177,0.006839857,0.00008415172,0.0004216846],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6431918,0.0001284924,0.35543,0.0001087856,0.0004086044,0.00006683701,0.000007227794,0.00001440563,0.0006439185],"genre_scores_gemma":[0.9854514,0.0007164502,0.01334987,0.0002831719,0.0001562339,8.535042e-7,0.000008602418,0.000005164716,0.00002824871],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9326486,"threshold_uncertainty_score":0.4808461,"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."}}