{"id":"W2038078821","doi":"10.1007/s11334-008-0064-1","title":"Extending statecharts with process algebra operators","year":2008,"lang":"en","type":"article","venue":"Innovations in Systems and Software Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Process calculus; Computer science; Notation; Process (computing); Communicating sequential processes; Semantics (computer science); Theoretical computer science; Operational semantics; Algebra over a field; Domain (mathematical analysis); Algebraic semantics; Programming language; Mathematics; Arithmetic","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.003770137,0.0008588957,0.0006269006,0.001318638,0.0008586874,0.002084322,0.001495534,0.001061615,0.004850503],"category_scores_gemma":[0.008222274,0.0008015854,0.002665229,0.001275081,0.002478817,0.00702036,0.003078365,0.00224069,0.001111754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006281784,"about_ca_system_score_gemma":0.001300757,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00187523,"about_ca_topic_score_gemma":0.001676099,"domain_scores_codex":[0.9973522,0.0008329625,0.0002912554,0.0005214831,0.0007465858,0.0002554982],"domain_scores_gemma":[0.9946913,0.003088369,0.0002912406,0.001261205,0.0005185364,0.0001493282],"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.0001152039,0.0001037055,0.0006061288,0.0001983821,0.00004582521,0.0003441246,0.0006581116,0.03286131,0.008329055,0.8563482,0.001212009,0.09917791],"study_design_scores_gemma":[0.00005200744,0.00008773214,0.0001769885,0.00007586533,0.0001120914,0.0001321105,0.00006279891,0.1580592,0.01189796,0.8018298,0.02745813,0.00005528798],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004118235,0.00003815665,0.9929473,0.0000489014,0.0000422957,0.00004101724,0.00004467768,0.001123536,0.001595865],"genre_scores_gemma":[0.2665693,0.0004166716,0.7263028,0.0001787404,0.0001139866,0.000305975,0.0003497265,0.0006770715,0.005085694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004850503,"threshold_uncertainty_score":0.01993865,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01866788462564004,"score_gpt":0.2477812216533957,"score_spread":0.2291133370277557,"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."}}