Towards fine-grained automated verification of publish-subscribe architectures (2006)

by L Baresi, C Ghezzi, L Mottola
Venue:In Formal Techniques for Networked and Distributed Systems