Model-checking verification of publish-subscribe architectures in web service contexts.

Gregorio Daz, Mara-Emilia Cambronero, Hermenegilda Maci, Valentn Valero Ruiz

Browse the full SAC paper archive.