Improved reliability of large scale publish/subscribe based MOMs using model checking.

Yue Jia, Eliane L. Bodanese, Chris I. Phillips, John Bigham, Ran Tao

Browse the full NOMS paper archive.