Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)