Mobile Computing

This page will gather all the informations concerning the 2nd quarter course entitled "Mobile Computing".

Planned schedule and slides:

Aims:
With the growing development of distributed networks, it is necessary to give a formal framework to describe the behaviour of concurrent and communicating systems. During the past years, researchers have tried to define mathematical models of higher-order processes, allowing exchange of communication channel names or even processes. This lecture aims to give a survey of the main formalisms and techniques, and their applications.

Contents:
Introductory course on mobility; classification of models (mobility of names, of processes...); two of them will be studied more in details: Pi-calculus and Ambient calculus; related formal tools and variants.

Teaching:
2h / week
3 weeks of introductory lectures, followed by seminars from students, based on research papers.

Evaluation:
Each student will have to write a summary and present a seminar on a selected research article.

Text-book:
Dal Zilio's article "Mobile Processes - A Commented Bibliography" as a reference, and many research papers.
See also the web page http://move.to/mobility.
Moca mailing list: http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html.
Xudong Guan's bibliography on mobile ambients: http://xdguan.freezope.org/wiki/AmbientCalculiOnline.



Pascal Zimmer