{"id":"W2098127690","doi":"10.1109/ccece.2005.1557336","title":"An operational semantics for RTPA","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Operational semantics; Computer science; Programming language; Semantics (computer science); Process calculus; Formal specification; Specification language; Language Of Temporal Ordering Specification; Process (computing); Formal methods; Action semantics; Formal semantics (linguistics); Software engineering; Denotational semantics","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.0002423605,0.00003702268,0.00003500651,0.00002546281,0.00007144243,0.0001051359,0.0003143723,0.00002216234,0.000009725639],"category_scores_gemma":[0.00001597286,0.00003248597,0.00001523807,0.00007935825,0.00001114766,0.0005295252,0.00001897965,0.00001812618,0.00001612952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001100981,"about_ca_system_score_gemma":0.00002163865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001493498,"about_ca_topic_score_gemma":0.00000535878,"domain_scores_codex":[0.99958,0.00001902085,0.00009607017,0.000130397,0.00008956587,0.0000849834],"domain_scores_gemma":[0.9996163,0.0000235206,0.00001917979,0.0002481954,0.00007467374,0.00001813106],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[6.780916e-7,0.00002358324,0.0001059847,0.000001803711,5.06921e-7,7.114824e-8,0.0000154927,0.0004207976,0.00196138,0.9918562,0.0009907457,0.004622774],"study_design_scores_gemma":[0.00009636222,0.00004956243,0.003717261,8.429908e-7,8.449692e-7,0.000002924733,0.000003367784,0.9317238,0.02614518,0.02755794,0.01063261,0.0000692574],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00345577,0.000005724587,0.9918684,0.0004403552,0.0001827065,0.0001022368,0.00000108694,0.00009897383,0.003844744],"genre_scores_gemma":[0.1426715,3.20673e-7,0.8564923,0.0002190521,0.00009142933,0.00001419028,0.000007052289,0.000002375199,0.0005018769],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9642982,"threshold_uncertainty_score":0.1324739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02340021237990962,"score_gpt":0.3188179181194393,"score_spread":0.2954177057395297,"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."}}