Header menu link for other important links
Formalization of a fully-decoupled reactive tuple space model for mobile middleware
S. De, D. Goswami, S. Nandi,
Published in
Volume: 65 LNICST
Pages: 77 - 91
This paper suggests an approach for formalizing Tuple Space based Mobile Middleware (TSMM) that contains a fully-decoupled reactive tuple space model as coordination medium. Formalization of TSMM is carried out using Mobile UNITY. © 2013 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.
About the journal
JournalLecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering