Alternators in read/write atomicity

DOI10.1016/J.IPL.2004.11.009zbMath1173.68560OpenAlexW1981954079MaRDI QIDQ835032

N. E. Zubov

Publication date: 27 August 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2004.11.009

zbMATH Keywords

algorithmsstabilizationprogram transformationconcurrencyalternatorconcurrent execution model (powerset semantics)read/write atomicityserial execution model (interleaving semantics)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items (1)

Synchronous vs. asynchronous unison

Cites Work

• Stabilization-preserving atomicity refinement
• A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
• The alternator
• Self-stabilizing systems in spite of distributed control
• Unnamed Item
• Unnamed Item

This page was built for publication: Alternators in read/write atomicity