Simple extensions of 1-writer atomic variable constructions to multiwriter ones

DOI10.1007/s002360050040zbMath0837.68023OpenAlexW2091865573MaRDI QIDQ1901695

S. Haldar, K. Vidyasankar

Publication date: 16 November 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050040

zbMATH Keywords

correctness proofsconflict-free constructionsmultiwriter multireader multivalued atomic shared variableswait-free constructions

Mathematics Subject Classification ID

Related Items (3)

Hundreds of impossibility results for distributed computing ⋮ Finite-state concurrent programs can be expressed succinctly in triple normal form ⋮ Finite-state concurrent programs can be expressed in pairwise normal form

Cites Work

• Unnamed Item
• Concurrent reading while writing revisited
• On interprocess communication. I: Basic formalism
• How to share concurrent wait-free variables

This page was built for publication: Simple extensions of 1-writer atomic variable constructions to multiwriter ones