Coarser Equivalences for Causal Concurrency

Azadeh Farzan, Umang Mathur 0001. Coarser Equivalences for Causal Concurrency. Proceedings of the ACM on Programming Languages, 8(POPL):911-941, January 2024. [doi]

Abstract

Abstract is missing.