{"id":"W4411374877","doi":"10.1145/3724389.3731259","title":"Communicating StateCharts (CSC)","year":2025,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language","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.002104262,0.0007345267,0.0003404344,0.001289896,0.0008781934,0.001958025,0.001195762,0.001214191,0.008185497],"category_scores_gemma":[0.006287631,0.0004946921,0.0009094159,0.001274821,0.002843132,0.002826037,0.001731475,0.001582505,0.000963747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001239324,"about_ca_system_score_gemma":0.002465492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004191759,"about_ca_topic_score_gemma":0.003927941,"domain_scores_codex":[0.9978943,0.0007201617,0.0002152009,0.0003592515,0.0006427276,0.0001683265],"domain_scores_gemma":[0.9953392,0.002680234,0.00044148,0.0006918579,0.0006612015,0.0001859818],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007447306,0.000047003,0.0009545815,0.0003569727,0.00002950256,0.0002518692,0.0009530674,0.0177911,0.005833532,0.8828476,0.006069571,0.08479073],"study_design_scores_gemma":[0.0001468722,0.0001778047,0.0006189962,0.0002657089,0.00008946358,0.0006246557,0.0002003702,0.09971848,0.01684576,0.5009636,0.3802551,0.00009324911],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007124159,0.0004325744,0.9767717,0.0003489367,0.0001541065,0.0002135928,0.0005247145,0.003581866,0.01084841],"genre_scores_gemma":[0.2845131,0.001791677,0.6995038,0.0004449254,0.0001762741,0.0009989,0.002110955,0.0006972203,0.009763215],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008185497,"threshold_uncertainty_score":0.02738327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0277427560660596,"score_gpt":0.3361078664350663,"score_spread":0.3083651103690068,"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."}}