Supporting Tuple Space based Mobile Middleware over unreliable mobile infrastructures: Design and formal specifications | IEEE Conference Publication | IEEE Xplore