Stochastic analysis and comparison of self-stabilizing routing algorithms for publish/subscribe systems | IEEE Conference Publication | IEEE Xplore