Abidi L, Cérin C and Klai K. Design, verification and prototyping the next generation of desktop grid middleware. Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing. (74-88).
Abidi L, Cerin C and Evangelista S. A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware. Proceedings of the 2011 IEEE International Conference on Services Computing. (496-503).