{"id":"W4400915596","doi":"10.3233/fi-242188","title":"Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions","year":2024,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Ministero dell’Istruzione, dell’Università e della Ricerca; Agence Nationale de la Recherche; Canadian Institute of Steel Construction","keywords":"Asynchronous communication; Asynchrony (computer programming); Computer science; Event (particle physics); Session (web analytics); Semantics (computer science); Interpretation (philosophy); Theoretical computer science; Programming language; Computer network; World Wide Web","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.003955289,0.0007631272,0.0005470854,0.001311852,0.001357346,0.004169452,0.001514781,0.001702377,0.004581056],"category_scores_gemma":[0.006380272,0.0006022987,0.001540131,0.001300679,0.003403605,0.01068969,0.002845406,0.003408784,0.0007989617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001212586,"about_ca_system_score_gemma":0.001080165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005959021,"about_ca_topic_score_gemma":0.0004074834,"domain_scores_codex":[0.9963922,0.001234705,0.0004149294,0.0006248653,0.00100606,0.0003272226],"domain_scores_gemma":[0.9961076,0.001421969,0.0004395369,0.00109602,0.0006710801,0.0002637164],"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.00001761582,0.000008815819,0.0001091318,0.00002574799,0.0000063387,0.00006263739,0.000376589,0.001271965,0.000581896,0.9931145,0.000286891,0.00413783],"study_design_scores_gemma":[0.00002884683,0.00003231062,0.0001065621,0.00003408886,0.00002577774,0.0001550027,0.0001657559,0.01045089,0.001886328,0.9695809,0.01751418,0.00001917652],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01308983,0.0002133761,0.9748635,0.0003529548,0.0001911821,0.00008176192,0.0001625919,0.0003758428,0.01066893],"genre_scores_gemma":[0.5851085,0.0005826442,0.4008587,0.0004762706,0.0005762957,0.0007429641,0.0004648956,0.0005376287,0.0106521],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004581056,"threshold_uncertainty_score":0.02091783,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01315893395398323,"score_gpt":0.2649347942192118,"score_spread":0.2517758602652286,"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."}}