Yue Jia, Eliane L. Bodanese, John Bigham. Model checking of the reliability of publish/subscribe structure based system. In 2012 1st IEEE International Conference on Communications in China (ICCC), Beijing, China, August 15-17, 2012. pages 155-160, IEEE, 2012. [doi]
Abstract is missing.