{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004312454,0.0008182653,0.0006105406,0.001179559,0.001452915,0.004266889,0.00175428,0.001662243,0.004756197],"category_scores_gemma":[0.005924809,0.0006414769,0.001542906,0.001201749,0.003676475,0.01276732,0.003209813,0.004131554,0.0007693362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00128696,"about_ca_system_score_gemma":0.001170071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004919455,"about_ca_topic_score_gemma":0.0003840485,"domain_scores_codex":[0.99654,0.001123799,0.0003692101,0.0005965344,0.00100803,0.000362483],"domain_scores_gemma":[0.995773,0.00145999,0.0004544471,0.001227863,0.000757733,0.0003269718],"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.00002637898,0.00001122901,0.0001258,0.00003333553,0.000007614714,0.00006872563,0.0003914398,0.00117036,0.0006727098,0.9923211,0.0003959167,0.004775394],"study_design_scores_gemma":[0.0000381983,0.00003890344,0.0001111184,0.00003750953,0.00003415301,0.000166095,0.0001641756,0.009006448,0.002290505,0.9689418,0.01914835,0.00002260603],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0156474,0.0002797425,0.9709009,0.0005216085,0.0002733491,0.0000846305,0.0001640819,0.0005192109,0.01160901],"genre_scores_gemma":[0.5952171,0.0006655687,0.3881415,0.0006323095,0.0007342449,0.0006657242,0.0004371955,0.0006921816,0.01281418],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004756197,"threshold_uncertainty_score":0.0228067,"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."}}