Mobile Processes: A Commented Bibliography

Silvano Dal Zilio (1)

1 Microsoft - Microsoft Research [Cambridge]

We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processes, namely labile processes, which can exhibit dynamic changes in their interaction structure, as modelled in the π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon. A common characteristic of the algebraic frameworks presented in this paper is the use of names as first class values and the support for the dynamic generation of new, fresh names.

Mots clés: dissemin

Domaines: Informatique [cs]

Silvano Dal Zilio. Mobile Processes: A Commented Bibliography. Modeling and Verification of Parallel Processes, Springer Verlag (Germany), pp.206-222, 2001, ⟨10.1007/3-540-45510-8_11⟩. ⟨hal-01483577⟩