scientific article; zbMATH DE number 4096767

MaRDI QIDQ3823129zbMATH OpenFDO

Authors Baruch Awerbuch, L. M. Kirousis, Paul M. B. Vitányi, Evangelos Kranakis

Publication date 1988

zbMATH Keywords

asynchronous processatomic registerconcurrent data objectshared-concurrent register

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• A criterion for atomicity
• Distributed Computing
• The elusive atomic register
• Converting Lamport's regular register to atomic register
• An assertional criterion for atomicity

Cited in

(10)

• Distributed match-making
• Optimality of wait-free atomic multiwriter variables
• A simple proof technique for priority-scheduled systems
• Simple extensions of 1-writer atomic variable constructions to multiwriter ones
• Invariants for the construction of a handshake register
• Introduction à l'algorithmique des objets partagés
• Distributed Computing
• Weak atomicity: A helpful notion in the construction of atomic shared variables
• Self-stabilization of wait-free shared memory objects
• A very simple construction of 1-writer multireader multivalued atomic variable

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