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),
- Week 2 (04/11/04): pi-calculus, equational theory
- 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.)
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
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.
2h / week
3 weeks of introductory lectures, followed by seminars from students,
based on research papers.
Each student will have to write a summary and present a seminar on a
selected research article.
Dal Zilio's article "Mobile
Processes - A Commented Bibliography
" as a reference, and many
See also the web page http://move.to/mobility
Moca mailing list:
Xudong Guan's bibliography on mobile ambients: