Formal Modeling of Mobile Middleware for Tuple Space Coordination over Multiple Heterogeneous Networks.

Suddhasil De, Diganta Goswami, Sukumar Nandi

Browse the full Qshine paper archive.