scientific article; zbMATH DE number 6876104

MaRDI QIDQ4643874zbMATH OpenFDO

Authors Mark Moir, Nir Shavit

Publication date 29 May 2018

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(4)

• A class of problems that can be solved using interval algorithms
• Higher-order linearisability
• Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity
• Compositional reasoning for non-multicopy atomic architectures

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 Q4643874)