{"id":"W4386879846","doi":"10.1016/j.jlamp.2023.100919","title":"Branching pomsets: Design, expressiveness and applications to choreographies","year":2023,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fundação para a Ciência e a Tecnologia; Electronic Components and Systems for European Leadership; Key Digital Technologies Joint Undertaking; Nederlandse Organisatie voor Wetenschappelijk Onderzoek; Agence Nationale de la Recherche; Ministério da Ciência, Tecnologia e Ensino Superior; European Commission; Canadian Institute of Steel Construction","keywords":"Branching (polymer chemistry); Computer science; Concurrency; Theoretical computer science; ENCODE; Programming language; Event structure; Set (abstract data type); Operational semantics; Automaton; Semantics (computer science); Mathematics","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.00350643,0.00124738,0.0009024914,0.001710518,0.002027021,0.003869757,0.002020177,0.00152517,0.005843708],"category_scores_gemma":[0.009505509,0.001296315,0.0026875,0.002197122,0.00677377,0.006039344,0.00387204,0.00307193,0.0007866436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002316599,"about_ca_system_score_gemma":0.001879101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004341048,"about_ca_topic_score_gemma":0.003255589,"domain_scores_codex":[0.9969254,0.001080958,0.0004059114,0.0005137713,0.0008246665,0.0002491827],"domain_scores_gemma":[0.9941894,0.003295904,0.0005955909,0.001099539,0.0004675931,0.0003521478],"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.00005704262,0.00002833591,0.0004262306,0.0001648107,0.00003242639,0.0002786806,0.0008651637,0.03592726,0.003601071,0.9402695,0.0005970008,0.01775246],"study_design_scores_gemma":[0.00005626674,0.0000533915,0.0001755023,0.0001268107,0.00004654838,0.0002736632,0.0002534667,0.1295327,0.006202421,0.8384665,0.02475036,0.00006240098],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006603912,0.0002120398,0.9877332,0.0002014764,0.00004574823,0.0001596618,0.0001464791,0.0006843566,0.004213046],"genre_scores_gemma":[0.2345549,0.0008033783,0.7571405,0.0001327152,0.00008540715,0.0009930052,0.0003271193,0.0003509739,0.005612053],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005843708,"threshold_uncertainty_score":0.01954913,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06223679255921293,"score_gpt":0.3772277272417923,"score_spread":0.3149909346825794,"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."}}