scientific article; zbMATH DE number 7650869

DOI10.4230/LIPICS.OPODIS.2019.19MaRDI QIDQ5874250zbMATH OpenFDO

Authors

Publication date 7 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.OPODIS.2019.19

zbMATH Keywords

concurrencycorrectnessmulti-word primitivespersistent memoryshared memorysoftware testingsynchronization

Mathematics Subject Classification ID

Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cited in

(2)

• Verifying correctness of persistent concurrent data structures: a sound and complete method
• Efficient multi-word compare and swap

Describes a project that uses

Uses Software

• TLA

This page was built for publication:

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