Towards Mobile Processes in Unifying Theories

Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X . (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL


This paper presents a denotational semantics of mobile processes in Hoare & He's Unifying Theories of Programming (UTP). Process mobility is captured by the mobile assignment or communication of higher-order variables, in which both the source and the target are process-valued variables. Processes are moved around in the system by updating the target and losing the value of the source. The semantics can be used to guarantee the correctness of a set of algebraic of refinement laws for the step-wise development of mobile systems. We give an outline of this development method, present and prove some of the laws.

Item Type: Conference or workshop item (Paper)
Additional information: To appear
Uncontrolled keywords: Mobile processes, denotational semantics, UTP, higher-order programming
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01
Last Modified: 11 Jul 2009 15:53
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):