Roberto Baldoni Mariangela Contenti Sara Tucci Piergiovanni Antonino Virgillito Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach. 304-311 2003 conf/words/2003 WORDS http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218097 db/conf/words/words2003.html#BaldoniCPV03