Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects

DOI10.1145/3465084.3467943MaRDI QIDQ6201984zbMATH OpenOpenAlexWikidataFDO

Authors Nan Li, Wojciech Golab

Publication date 26 March 2024

Published in Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3465084.3467943

zbMATH Keywords

detectabilityconcurrencyfault toleranceshared memorypersistent memory

Mathematics Subject Classification ID

Distributed algorithms (68W15) Distributed systems (68M14)

This page was built for publication: Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6201984)