Concepedia

One-write algorithms for multivalued regular and atomic registers

S.K. Chaudhuri, Martha J. Kosa, Jennifer L. Welch

Acta Informatica · 2000 · 12 citations · 3 references

On this page

Concepts

References

Concepts

EngineeringComputer EngineeringComputer ScienceAlgorithmsComputer ArchitectureInstruction Set ArchitectureLogic SynthesisRegister AllocationRegister-transfer Level DesignAtomic Instructions SupportAtomic Memory OperationsHardware Register AbstractionRegister MachinesRegisters

References

3

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Computing, Computer Science, Computer Architecture +16

On interprocess communication

Leslie Lamport · Distributed Computing · 1986 · 843 citations

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

Computing, Computer Science, Algorithms +11