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

Parallel and Distributed Processing

Volume 1388 of the series Lecture Notes in Computer Science pp 871-880


An introduction to mobile UNITY

  • Gruia-Catalin RomanAffiliated withDepartment of Computer Science, Washington University
  • , Peter J. McCannAffiliated withBell Laboratories, Lucent Technologies

* Final gross prices may vary according to local VAT.

Get Access


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.