An introduction to mobile UNITY
- First Online:
- Cite this paper as:
- Roman GC., McCann P.J. (1998) An introduction to mobile UNITY. In: Rolim J. (eds) Parallel and Distributed Processing. IPPS 1998. Lecture Notes in Computer Science, vol 1388. Springer, Berlin, Heidelberg
We define a mobile system as a collection of independently executing components which may migrate through some (logical or physical) space during the course of the computation, with the pattern of connectivity among components changing as they move in and out of proximity. This paper presents Mobile UNITY, a modular notation for expressing mobile computations and a logic for reasoning about their temporal properties.
Unable to display preview. Download preview PDF.