Formalization of discovery and communication mechanisms of Tuple Space based Mobile Middleware for underlying unreliable infrastructure | IEEE Conference Publication | IEEE Xplore