title = {{Formalizing Properties of Mobile Agent Systems}},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele},
  booktitle = {Proc. of Coordination 2002},
  editor = {F. Arbab and C. Talcott},
  pages = {72-87},
  abstract = {The wide-spreading of Internet has stimulated the introduction of new
      programming paradigms and languages that model interactions among hosts by means
      of mobile agents, and that are centered around the notions of location
      awareness. In this paper we show how to use formal tools, specifically a modal
      logic, for formalizing properties for mobile agent systems. We concentrate on
      one of these new languages, Klaim, and we use it to specify a system that
      maintaining the software installed on several heterogeneous computers
      distributed over a network by taking advantage of the mobile agent paradigm.},
  number = {2315},
  year = {2002},
  url = {http://music.dsi.unifi.it/papers/coord2002-agentprop.ps.gz},
  publisher = {Springer},
  series = {LNCS},