Formalizing Mobility in Dynamic Location-Aware Sensor Networks

This short paper presents early work on the development of a formal model of mobility and process in locationaware sensor networks. The formalism is based on Milner’s ð process calculus, which allows the modeling of mobile processes. The formal development is going hand-in-hand with development of a "process-relational" database system, with application to sensor networks. We argue that such a formal model of process complements research on movement simulation.