Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini

Browse the full FORTE paper archive.