Safety-Liveness Exclusion in Distributed Computing

DOI10.1145/2767386.2767401zbMath1333.68049OpenAlexW2032052230MaRDI QIDQ2796260

Victor Bushkov, Rachid Guerraoui

Publication date: 23 March 2016

Published in: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2767386.2767401

zbMATH Keywords

livenesssafetyconcurrencyconsensusimpossibility resultstransactional memory

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed systems (68M14)

Related Items (2)

Progress-Space Tradeoffs in Single-Writer Memory Implementations ⋮ The computational structure of progress conditions and shared objects

Cites Work

• Memorization and Association on a Realistic Neural Model
• Unnamed Item

This page was built for publication: Safety-Liveness Exclusion in Distributed Computing