{"id":"W763938970","doi":"10.1016/j.cl.2015.04.001","title":"A formal semantics of nested atomic sections with thread escape","year":2015,"lang":"en","type":"article","venue":"Computer Languages Systems & Structures","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"Japan Science and Technology Agency; Ministère de l'Education Nationale, de l'Enseignement Superieur et de la Recherche; Agence Nationale de la Recherche","keywords":"Atomicity; Computer science; Programming language; Thread (computing); Compiler; Modularity (biology); Mutual exclusion; Programming paradigm; Semantics (computer science); Optimizing compiler; Theoretical computer science","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.003307409,0.0007919748,0.0007227891,0.0009325356,0.001923145,0.00426926,0.002435013,0.001998075,0.005964101],"category_scores_gemma":[0.006024855,0.001206964,0.001602804,0.001000607,0.005866726,0.008364444,0.00394724,0.003629918,0.0008747248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001397604,"about_ca_system_score_gemma":0.001946178,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00287759,"about_ca_topic_score_gemma":0.002245115,"domain_scores_codex":[0.9978608,0.0005801796,0.0002267656,0.0003623831,0.0006011755,0.00036863],"domain_scores_gemma":[0.9967309,0.001550412,0.0002614015,0.0007137529,0.0005486617,0.000194848],"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.00003069046,0.00001761141,0.0001296316,0.00003032955,0.000006071309,0.0001000527,0.0005039031,0.002503076,0.001267605,0.9903527,0.0004009505,0.004657417],"study_design_scores_gemma":[0.00007054776,0.00004336475,0.0001104197,0.00005617417,0.00004227046,0.0002144208,0.0002673885,0.03667436,0.004004034,0.9373822,0.02110089,0.00003394409],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01569825,0.0002192854,0.9726872,0.0004898699,0.0001511589,0.000079085,0.00007439054,0.0009562995,0.009644492],"genre_scores_gemma":[0.5836354,0.0003545354,0.4041674,0.0004116018,0.0002180398,0.0003071746,0.000205793,0.0007157444,0.009984309],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005964101,"threshold_uncertainty_score":0.01995188,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01405522978292189,"score_gpt":0.2434491590086239,"score_spread":0.229393929225702,"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."}}