Converting Lamport's regular register to atomic register

From MaRDI portal