Formal analysis of clients mobility in the Siena publish/subscribe middleware (2002)

by Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione