Loreti, Michele and De Nicola, Rocco  A modal logic for mobile agents.  ACM Transactions on Computational Logic , 5 (1).  pp. 79-128.  ISSN 1557-945X      (2004)