{"id":"W3128965925","doi":"10.4204/eptcs.365.0.2","title":"Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions","year":2022,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Ministero dell’Istruzione, dell’Università e della Ricerca; Canadian Institute of Steel Construction","keywords":"Asynchrony (computer programming); Asynchronous communication; Session (web analytics); Computer science; Event (particle physics); Interpretation (philosophy); Semantics (computer science); Theoretical computer science; Programming language; World Wide Web; Computer network","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001320695,0.000188238,0.0002239445,0.0001240496,0.0007725093,0.0003558202,0.001600803,0.00005038331,0.00001062908],"category_scores_gemma":[0.00009230726,0.0001566519,0.00004832187,0.001210372,0.0006338353,0.0003785974,0.001367945,0.0002968573,0.000001199217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004342828,"about_ca_system_score_gemma":0.0003498031,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005727408,"about_ca_topic_score_gemma":0.000004857227,"domain_scores_codex":[0.9974205,0.00003175339,0.0002651979,0.0008062409,0.0005370351,0.0009392606],"domain_scores_gemma":[0.9993085,0.00008205614,0.0001023879,0.0002231104,0.0001313506,0.0001526424],"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.00001013823,0.00005550715,0.001086533,0.00001948052,0.000004873318,0.000002156056,0.0004850312,0.0001749419,0.0001560287,0.9838328,0.00004462748,0.01412786],"study_design_scores_gemma":[0.0003503978,0.0005725516,0.0006790403,0.000004253751,0.000004745906,0.0001452237,0.00003529715,0.4012448,0.0003088745,0.5953717,0.00107955,0.000203621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07968623,0.0002986573,0.917502,0.0007954595,0.0005848977,0.0005963968,0.000003209684,0.0001480727,0.000385002],"genre_scores_gemma":[0.982487,0.000005268069,0.01711846,0.0002209861,0.00009126322,0.00006078105,0.000001066265,0.000007311018,0.000007919869],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9028007,"threshold_uncertainty_score":0.6388079,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005999358135159142,"score_gpt":0.2507313321935596,"score_spread":0.2447319740584004,"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."}}