An introduction to mobile UNITY

  • Gruia-Catalin Roman
  • Peter J. McCann
Workshop on Formal Method for Parallel Programming: Theory and Applications Dominuque Mery, Universitè Henri Poincare-Nancy 1 and IUF, France BeverlySanders, University of Florida, USA

DOI: 10.1007/3-540-64359-1_749

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1388)
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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Gruia-Catalin Roman
    • 1
  • Peter J. McCann
    • 2
  1. 1.Department of Computer ScienceWashington UniversitySt. LouisUSA
  2. 2.Bell LaboratoriesLucent TechnologiesNapervilleUSA

Personalised recommendations