A Proof Technique for Register Automicity

Authors:
Baruch Awerbuch;Lefteris M. Kirousis;Evangelos Kranakis;Paul M. B. Vitányi
Affiliations:
-;-;-;-
Venue:
Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1988

Citing 0
Cited 6

Constructing 1-writer multireader multivalued atomic variables from regular variables

Journal of the ACM (JACM)
How to share concurrent wait-free variables

Journal of the ACM (JACM)
Self-stabilization of wait-free shared memory objects

Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Composite registers

Distributed Computing
Multi-writer composite registers

Distributed Computing
On specification of Read/Write shared variables

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract