Las Vegas randomized algorithms in distributed consensus problems | IEEE Conference Publication | IEEE Xplore