Towards an understanding of unbounded variables in asynchronous systems

DOI10.1016/0020-0190(92)90125-FzbMath0780.68037OpenAlexW2027595883MaRDI QIDQ1198014

Ambuj K. Singh

Publication date: 16 January 1993

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

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90125-f

zbMATH Keywords

concurrencybounded variablesprogram derivationasynchronous wait- free low-atomicity systemshierarchical construction of atomic registersunbounded variables

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• On interprocess communication. II: Algorithms
• Protocol Verification via Projections
• Unnamed Item

This page was built for publication: Towards an understanding of unbounded variables in asynchronous systems