Leila Abidi, Christophe Cérin, Sami Evangelista. A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware. In Hans-Arno Jacobsen, Yang Wang, Patrick Hung, editors, IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011. pages 496-503, IEEE, 2011. [doi]
Abstract is missing.