Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco, Ignacio Fábregas. On algebraic abstractions for concurrent separation logics. Proceedings of the ACM on Programming Languages, 5(POPL):1-32, 2021. [doi]
Abstract is missing.