LCS Publication Details
Publication Title: Virtual Stationary Automata for Mobile Networks
Publication Author: Dolev, Shlomi
Additional Authors: Seth Gilbert, Limor Lahiani, Nancy Lynch, Tina Nolte
LCS Document Number: MIT-LCS-TR-979
Publication Date: 1-21-2005
LCS Group: Theory of Computation
Additional URL:
We define a programming abstraction for mobile networks called the Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and client nodes. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We present a self-stabilizing algorithm to emulate a VSA using the real mobile nodes that are currently residing in the VSA’s region. We also describe several examples of applications whose implementations benefit from the simplicity obtained through use of the VSA abstraction.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.