Safety-Liveness Exclusion in Distributed Computing

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]

@inproceedings{BushkovG15,
  title = {Safety-Liveness Exclusion in Distributed Computing},
  author = {Victor Bushkov and Rachid Guerraoui},
  year = {2015},
  doi = {10.1145/2767386.2767401},
  url = {http://doi.acm.org/10.1145/2767386.2767401},
  researchr = {https://researchr.org/publication/BushkovG15},
  cites = {0},
  citedby = {0},
  pages = {227-236},
  booktitle = {Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 21 - 23, 2015},
  editor = {Chryssis Georgiou and Paul G. Spirakis},
  publisher = {ACM},
  isbn = {978-1-4503-3617-8},
}