Guerraoui, RachidWang, Jingjing2016-12-162016-12-162016-12-16201610.1007/978-3-662-53426-7_11https://infoscience.epfl.ch/handle/20.500.14299/132047text::conference output::conference proceedings::conference paper