On algebraic abstractions for concurrent separation logics | Publicación