A new method to automatically compute processing times for random walks based distributed algorithms | IEEE Conference Publication | IEEE Xplore