Higher Order and Mobile Systems

M. C. Escher: The Tower of Babel Research

CooperationsFinancial Support

Publications

Links to Related Sites

Current Members:


Research:

"Higher Order or Mobility" is a property of concurrent processes which can send or receive port addresses or entire processes and which are able to dynamically restructure their communication structure during runtime. It offers new means for the specification of concurrent systems, but also introduces challenges concerning the description and verification of mobile and higher-order processes. One prominent mobile calculus is the pi-calculus.

We began research in this area in 1996 and we are mainly interested in the following topics:

This research project has close ties to our project "Verification of Infinite State Systems".
 
Describing Client-Server-Interaction with Mobility and Higher Order Communication
Describing Client-Server-Interaction with Mobility and Higher Order Communication in a Graph-Based Calculus


Cooperations:

Financial Support:


Publications:

[Postscript] [PDF



Links to Related Sites:


Thu May 20 1999