Victor Bushkov, Rachid Guerraoui. Safety-Liveness Exclusion in Distributed Computing. In Chryssis Georgiou, Paul G. Spirakis, editors, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 21 - 23, 2015. pages 227-236, ACM, 2015. [doi]
Abstract is missing.