{"id":"W4240831085","doi":"10.4018/978-1-60566-902-1.ch012","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001864875,0.0003727954,0.0004425147,0.00005942611,0.0001060072,0.00009858296,0.001124442,0.0003227728,0.00006920375],"category_scores_gemma":[0.00001038871,0.000376406,0.0001450232,0.00003655316,0.0001294137,0.0001096149,0.0003554485,0.0002313758,0.0001658823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005539499,"about_ca_system_score_gemma":0.0003119515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003562785,"about_ca_topic_score_gemma":0.00001330966,"domain_scores_codex":[0.9981279,0.00003436341,0.0004198646,0.0006583839,0.0004607106,0.0002987431],"domain_scores_gemma":[0.9983414,0.00004390418,0.000294813,0.0006826858,0.0004690413,0.0001681679],"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.00001374854,0.00002659653,0.00002890123,0.00002673138,0.00005405509,0.00003104873,0.0001433775,0.00003143284,0.00002609101,0.9804596,0.001215505,0.01794291],"study_design_scores_gemma":[0.0004260805,0.0004913232,0.0003360479,0.0006238809,0.00008778623,0.00009483496,0.000002431617,0.01684885,0.0003932238,0.977963,0.001769977,0.0009625793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0008032591,0.00006254918,0.03227314,0.00002291632,0.0003062747,0.0002367131,0.00004101633,0.000230021,0.9660241],"genre_scores_gemma":[0.933953,0.00001884958,0.01376919,0.0006444377,0.0008940532,0.00001350779,0.00002953825,0.00008697377,0.05059048],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9331497,"threshold_uncertainty_score":0.9998688,"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."}}