{"id":"W2045048599","doi":"10.1016/s1571-0661(04)80486-9","title":"A Semantics for Timed MSC","year":2002,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Semantics (computer science); Programming language; Formal semantics (linguistics); Event (particle physics); Formal specification; Formal methods; Formal verification; Operational semantics; Software engineering","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.002473523,0.001114794,0.0007327914,0.001654267,0.001552158,0.003290492,0.001573623,0.001712412,0.006213862],"category_scores_gemma":[0.004800303,0.0005347579,0.001904815,0.001484747,0.003164375,0.005158209,0.002650614,0.003145996,0.00164344],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001624935,"about_ca_system_score_gemma":0.002051153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001301877,"about_ca_topic_score_gemma":0.0009186197,"domain_scores_codex":[0.996778,0.0007393502,0.0004856369,0.0005662057,0.001074621,0.0003561587],"domain_scores_gemma":[0.9966314,0.001124531,0.0003614027,0.0003575973,0.001234147,0.000290869],"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.00002282605,0.00001754854,0.0000537102,0.00007029249,0.000009833152,0.0001731792,0.0003812627,0.002098752,0.001732502,0.9869093,0.001148777,0.007382063],"study_design_scores_gemma":[0.00007363217,0.00007447512,0.00006270209,0.00008982747,0.00003987476,0.0005084935,0.0002457882,0.02228648,0.004929035,0.8664896,0.1051589,0.000041216],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005132013,0.0006195983,0.9764258,0.0008349387,0.0004553974,0.0001920132,0.0003959232,0.001038815,0.0149056],"genre_scores_gemma":[0.3094332,0.001652602,0.6697953,0.001205184,0.001080973,0.001365072,0.001312006,0.0006730694,0.01348265],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006213862,"threshold_uncertainty_score":0.02078748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01736229215600636,"score_gpt":0.2811296066941258,"score_spread":0.2637673145381194,"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."}}