Brief Announcement: On Implementing Omega Efficiently in the Crash-Recovery Model | Publicación