Mobile Processes: a Commented Bibliography

Silvano Dal Zilio
In MOVEP'2K — 4th Summer school on Modelling and Verification of Parallel processes, jun 2001.

Abstract

#

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 changes of their interaction structure, as modelled in the pi-calculus, and motile processes, which can exhibit movement, as modelled in the ambient calculus of Cardelli and Gordon. A common attribute of the algebraic frameworks presented in this paper is that they all rely on a notion of name as first class value.

Citation

#

@InProceedings{DalzilioS:movep,
   author    = {{Dal Zilio}, Silvano},
   title     = {{Mobile Processes: a Commented Bibliography}},
   booktitle = {MOVEP'2K -- 4th Summer school on Modelling and Verification of Parallel processes},
   series    = {Lecture Notes in Computer Science},
   volume    = {2067},
   publisher = {Springer-Verlag},
   pages     = {206--222},
   month     = jun, 
   year      = 2001
}