Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects.

Nan Li, Wojciech M. Golab

Browse the full PODC paper archive.