Virtual Stationary Automata for Mobile Networks
We define a programming abstraction formobile networks called the Virtual Stationary Automataprogramming layer, consisting of real mobile clients, virtualtimed I/O automata called virtual stationary automata(VSAs), and a communication service connecting VSAs andclient nodes. The VSAs are located at...
Main Authors: | Dolev, Shlomi, Gilbert, Seth, Lahiani, Limor, Lynch, Nancy, Nolte, Tina |
---|---|
Other Authors: | Theory of Computation |
Language: | en_US |
Published: |
2005
|
Online Access: | http://hdl.handle.net/1721.1/30517 |
Similar Items
-
Self-Stabilizing Message Routing in Mobile ad hoc Networks
by: Lynch, Nancy, et al.
Published: (2009) -
Self-Stabilizing Mobile Node Location Management and Message
by: Dolev, Shlomi, et al.
Published: (2005) -
Virtual stationary timed automata for mobile networks
by: Nolte, Tina Ann, 1979-
Published: (2009) -
Virtual Mobile Nodes for Mobile Ad Hoc Networks
by: Dolev, Shlomi, et al.
Published: (2005) -
Autonomous Virtual Mobile Nodes
by: Dolev, Shlomi, et al.
Published: (2005)