The behavior of shared objects: Concept, pitfalls, and a new model

DOI10.1016/0020-0190(89)90133-6zbMath0669.68040OpenAlexW2033256937MaRDI QIDQ1119023

Jørgen Staunstrup, Jurg Nievergelt

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0020-0190(89)90133-6

zbMATH Keywords

distributed systemsconcurrencyspecificationprobabilistic automatanonatomic operationsasynchronous circuitsarbitersshared registers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Cites Work

• On interprocess communication. II: Algorithms
• Myths about the mutual exclusion problem
• Axioms for memory access in asynchronous hardware systems
• Constructing two-writer atomic registers
• General theory of metastable operation

This page was built for publication: The behavior of shared objects: Concept, pitfalls, and a new model