Lorenzo Bettini Rocco De Nicola Michele Loreti Formalizing Properties of Mobile Agent Systems. 72-87 2002 conf/coordination/2002 COORDINATION http://link.springer.de/link/service/series/0558/bibs/2315/23150072.htm db/conf/coordination/coordination2002.html#BettiniNL02