Specifying concurrent programs in separation logic: morphisms and simulations | Publicación