{"id":"W4390605256","doi":"10.1145/3632873","title":"Coarser Equivalences for Causal Concurrency","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Simons Institute for the Theory of Computing, University of California Berkeley; Ministry of Education, India","keywords":"Concurrency; Commutative property; Equivalence (formal languages); TRACE (psycholinguistics); Equivalence relation; Logical equivalence; Computer science; Mathematics; Thread (computing); Discrete mathematics; Theoretical computer science; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.003021478,0.0007704973,0.0009897089,0.002119995,0.001389636,0.002607724,0.001847284,0.0009132779,0.009756427],"category_scores_gemma":[0.01341575,0.0006354786,0.002092515,0.001576034,0.005692297,0.008670574,0.004775424,0.006330553,0.0008052794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002699749,"about_ca_system_score_gemma":0.001363758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00388077,"about_ca_topic_score_gemma":0.003022727,"domain_scores_codex":[0.994693,0.0008640578,0.0003340588,0.00157967,0.001976917,0.0005523521],"domain_scores_gemma":[0.9916061,0.00454358,0.0005209367,0.002250017,0.0007308949,0.0003484572],"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.00006437091,0.00005005778,0.0003937832,0.00007131859,0.00001510508,0.00006384159,0.0004095996,0.01486652,0.001910772,0.9627567,0.0006336281,0.01876434],"study_design_scores_gemma":[0.00002741754,0.0000337713,0.0002078825,0.00001549092,0.0000167563,0.00003062275,0.00008211009,0.0517415,0.00171605,0.941582,0.004533072,0.00001329608],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03802573,0.0005179344,0.9460251,0.0006671983,0.00009464608,0.0001862023,0.0001732267,0.000780997,0.01352893],"genre_scores_gemma":[0.6981272,0.0005824582,0.2894416,0.0007689137,0.0003635371,0.000499489,0.0006696803,0.0004141684,0.009132919],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009756427,"threshold_uncertainty_score":0.03263849,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02269710457130419,"score_gpt":0.3079195908962046,"score_spread":0.2852224863249004,"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."}}