Precision and the Conjunction Rule in Concurrent Separation Logic | Publicación