On restructuring distributed algorithms for mobile computing

Abstract

In this paper we propose a formalization of a subclass of distributed algorithms that can be suitable for execution on mobile environment. In particular, our investigation puts stress on evolving techniques to include the design abstractions of the resources and synchronization typical to a mobile environment with the conventional design of distributed algorithm, so that a greater amount of concurrency can be derived within the available level of resources. To that effect we propose a method to evaluate a concurrency load for any abstraction and use it to come up with answer as to which of the abstractions would be better when host mobility is allowed.