http://dblp.rkbexplorer.com/id/conf/sosp/http://dx.doi.org/10.1109/

used by 0: