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]

Authors

Azadeh Farzan

This author has not been identified. Look up 'Azadeh Farzan' in Google

Umang Mathur 0001

This author has not been identified. Look up 'Umang Mathur 0001' in Google