{"id":"https://openalex.org/W4390605256","doi":"https://doi.org/10.1145/3632873","title":"Coarser Equivalences for Causal Concurrency","display_name":"Coarser Equivalences for Causal Concurrency","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390605256","doi":"https://doi.org/10.1145/3632873"},"language":"en","primary_location":{"id":"doi:10.1145/3632873","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632873","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632873","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3632873","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016276143","display_name":"Azadeh Farzan","orcid":"https://orcid.org/0000-0001-9005-2653"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Azadeh Farzan","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":"https://orcid.org/0000-0001-9005-2653","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016958234","display_name":"Umang Mathur","orcid":"https://orcid.org/0000-0002-7610-0660"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Umang Mathur","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-7610-0660","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2727,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.87985105,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"8","issue":"POPL","first_page":"911","last_page":"941"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7252721786499023},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.6644633412361145},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6446241140365601},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6272071599960327},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.5591068863868713},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.5517742037773132},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4761614501476288},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.47049829363822937},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.413129597902298},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39688077569007874},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3687877058982849},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20559507608413696}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7252721786499023},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.6644633412361145},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6446241140365601},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6272071599960327},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.5591068863868713},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.5517742037773132},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4761614501476288},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47049829363822937},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.413129597902298},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39688077569007874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3687877058982849},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20559507608413696},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3632873","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632873","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632873","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3632873","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632873","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632873","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390605256.pdf","grobid_xml":"https://content.openalex.org/works/W4390605256.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W1481307904","https://openalex.org/W1481985818","https://openalex.org/W1510181236","https://openalex.org/W1522334395","https://openalex.org/W1537864410","https://openalex.org/W1540223539","https://openalex.org/W1600422503","https://openalex.org/W1971500760","https://openalex.org/W1975840504","https://openalex.org/W1985572324","https://openalex.org/W1986463648","https://openalex.org/W1986711167","https://openalex.org/W1993662467","https://openalex.org/W2002946738","https://openalex.org/W2046368282","https://openalex.org/W2065675749","https://openalex.org/W2084732238","https://openalex.org/W2086147982","https://openalex.org/W2109033563","https://openalex.org/W2112521545","https://openalex.org/W2116595306","https://openalex.org/W2132294215","https://openalex.org/W2137865376","https://openalex.org/W2153174073","https://openalex.org/W2159812975","https://openalex.org/W2165422215","https://openalex.org/W2167744164","https://openalex.org/W2169870841","https://openalex.org/W2194869982","https://openalex.org/W2285931649","https://openalex.org/W2476311654","https://openalex.org/W2505960745","https://openalex.org/W2528919074","https://openalex.org/W2606910946","https://openalex.org/W2794682558","https://openalex.org/W2799137521","https://openalex.org/W2884340427","https://openalex.org/W2887512784","https://openalex.org/W2898242299","https://openalex.org/W2911806870","https://openalex.org/W2950671811","https://openalex.org/W2953899265","https://openalex.org/W2962297646","https://openalex.org/W2980176182","https://openalex.org/W2995623611","https://openalex.org/W2995880861","https://openalex.org/W3000335052","https://openalex.org/W3011029566","https://openalex.org/W3012388883","https://openalex.org/W3095518503","https://openalex.org/W3114146851","https://openalex.org/W3184331482","https://openalex.org/W3194987967","https://openalex.org/W4205148915","https://openalex.org/W4211008702","https://openalex.org/W4212924742","https://openalex.org/W4233702006","https://openalex.org/W4236306709","https://openalex.org/W4239874976","https://openalex.org/W4243889443","https://openalex.org/W4281968516","https://openalex.org/W4293352276","https://openalex.org/W4379536496","https://openalex.org/W4384387929","https://openalex.org/W4390604995"],"related_works":["https://openalex.org/W4389081390","https://openalex.org/W4380906055","https://openalex.org/W2357697159","https://openalex.org/W1982083515","https://openalex.org/W2792156881","https://openalex.org/W2115474581","https://openalex.org/W2507274972","https://openalex.org/W2273177499","https://openalex.org/W2043111827","https://openalex.org/W2096644947"],"abstract_inverted_index":{"Trace":[0],"theory":[1],"(formulated":[2],"by":[3,31,115],"Mazurkiewicz":[4],"in":[5,44,144,165,176,180,190,242,280,290],"1987)":[6],"is":[7,54,209],"a":[8,21,134,145,153,199,219],"principled":[9],"framework":[10],"for":[11,15,139,193,223],"defining":[12],"equivalence":[13,60,85,106,204,207,230],"relations":[14],"concurrent":[16,154,159],"program":[17,33,49,155,266],"runs":[18],"based":[19,304],"on":[20,305],"commutativity":[22,232,247],"relation":[23,107],"over":[24],"the":[25,57,59,63,70,87,98,110,140,177,224,245,253,258,264,274,299],"set":[26],"of":[27,83,89,102,112,142,152,203,229,233,239,263,277,298,301],"atomic":[28,240],"steps":[29,113,151],"taken":[30,114],"individual":[32],"threads.":[34],"Its":[35],"simplicity,":[36],"elegance,":[37],"and":[38,51,72,118,216,268,283],"algorithmic":[39,92],"efficiency":[40],"makes":[41],"it":[42],"useful":[43],"many":[45],"different":[46],"contexts":[47],"including":[48],"verification":[50],"testing.":[52],"It":[53],"well-understood":[55],"that":[56,74,97,108,208,285],"larger":[58],"classes":[61],"are,":[62],"more":[64,211],"benefits":[65],"they":[66,161,173,270,286],"would":[67],"bring":[68],"to":[69,244],"algorithms":[71],"applications":[73],"use":[75],"them.":[76],"In":[77],"this":[78],"paper,":[79],"we":[80,132,197],"study":[81,252],"relaxations":[82,297],"trace":[84,103,194,214,249,306],"with":[86],"goal":[88],"maintaining":[90],"its":[91],"advantages.":[93],"We":[94,251],"first":[95],"prove":[96,133],"largest":[99],"appropriate":[100],"relaxation":[101],"equivalence,":[104,215],"an":[105,166],"preserves":[109],"order":[111,179],"each":[116,122,281],"thread":[117],"what":[119],"write":[120],"operation":[121,124],"read":[123],"observes,":[125],"does":[126],"not":[127],"yield":[128],"efficient":[129],"algorithms.":[130],"Specifically,":[131],"linear":[135],"space":[136,192,221,292],"lower":[137],"bound":[138],"problem":[141,186],"checking,":[143],"streaming":[146],"setting,":[147],"if":[148],"two":[149,254],"arbitrary":[150],"run":[156,267],"are":[157,237,260,271],"causally":[158,170],"(i.e.":[160,172],"can":[162,187,287],"be":[163,188,288],"reordered":[164],"equivalent":[167,182],"run)":[168],"or":[169],"ordered":[171],"always":[174],"appear":[175],"same":[178,185,225],"all":[181],"runs).":[183],"The":[184],"decided":[189,289],"constant":[191,220,291],"equivalence.":[195,307],"Next,":[196],"propose":[198],"new":[200],"commutativity-based":[201],"notion":[202,228,300],"called":[205],"grain":[206],"strictly":[210],"relaxed":[212],"than":[213],"yet":[217],"yields":[218],"algorithm":[222],"problem.":[226],"This":[227],"uses":[231],"grains":[234,259],",":[235,293],"which":[236],"sequences":[238],"steps,":[241],"addition":[243],"standard":[246],"from":[248],"theory.":[250],"distinct":[255],"cases":[256],"when":[257,269],"contiguous":[261],"subwords":[262],"input":[265],"not,":[272],"formulate":[273],"precise":[275],"definition":[276],"causal":[278,302],"concurrency":[279,303],"case,":[282],"show":[284],"despite":[294],"being":[295],"strict":[296]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}