Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations | Publicación