Formal analysis of publish-subscribe systems by probabilistic timed automata (0)

by F He, L Baresi, C Ghezzi, P Spoletini
Venue:in Formal Techniques for Networked and Distributed Systems (FORTE 2007), ser. Lecture