Mobile Computing

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

Planned schedule and slides:

- Week 1 (28/10/04): presentation (cours0.pdf), general intro (cours1.pdf), pi-calculus (cours2.pdf)
- Week 2 (04/11/04): pi-calculus, equational theory (cours3.pdf)
- Week 3 (11/11/04): mobile ambients (cours4.pdf)
- Week 4 (18/11/04): mobile ambients (cours5.pdf)
- Week 5 (25/11/04): working group seminar: Martin Mosegaard Jensen on "Join-calculus" (joinPre.pdf)
- Week 6 (02/12/04): working group seminar: Janus Dam Nielsen on "PICT" (pict.pdf), Helena Meyer on "Logics for the ambient calculus" (logic.pdf) and Mogens Nielsen on "Spi-calculus"
- Week 7 (09/12/04): working group seminar: Jesus Almansa on "Brane calculi" (branes.pdf) and Michael Westergaard on "Bigraphs" (bigraphsPre.pdf)

(The slides on pi-calculus were inspired from a course of D. Hirschkoff; those on mobile ambients are mine.)

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