@InProceedings{	  BusiPadovani05,
  author	= {Nadia Busi and Luca Padovani},
  title		= {{A} {D}istributed {I}mplementation of {M}obile {N}ets as
		  {M}obile {A}gents},
  booktitle	= {7th IFIP Conference of Formal Methods for Open
		  Object-Based Distributed Systems (FMOODS'05)},
  year		= {2005},
  volume	= {LNCS 3535},
  pages		= {259-274},
  publisher	= {Springer},
  url		= {http://www.di.unito.it/~padovani/Papers/lncs_3535.pdf},
  doi		= {10.1007/11494881\_17},
  abstract	= {Mobile nets arise as a combination of the name managing
		  techniques of the $\pi$-calculus with the representation of
		  concurrency and locality of Petri nets. We propose MAGNETs,
		  a variant of mobile nets that are suitable for an
		  effective, distributed implementation. Such implementation
		  extends an implementation of the Join calculus virtual
		  machine with dynamic reconfiguration features.}
}