Brief Announcement: ΔΩ: Specifying an Eventual Leader Service for Dynamic Systems | Publicación