@{DFP97a,
  title = {{Coordinating Mobile Agents via Blackboards and Access Rights}},
  author = {De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario},
  booktitle = { Proc. of the 2nd Int. Conf. on Coordination Models and Languages (COORDINATION'97)},
  editor = {D. Garlan and  D. Le Metayer},
  pages = {220-237},
  abstract = {LLinda (Locality based Linda) is a variant of Linda which supports a programming
      paradigm where agents can migrate from one computing environment to another. In
      this paper, we define a type system for LLinda that permits statically checking
      access rights violations of mobile agents. Types are used to describe processes
      intentions (read, write, execute, ...) relatively to the different localities
      they are willing to interact with or they want to migrate to. The type system is
      used to determine the operations that processes want to perform at each
      locality, to check whether they comply with the declared intentions and whether
      they have the necessary rights to perform the intended operations at the
      specific localities.},
  number = {1282},
  year = {1997},
  publisher = {Springer},
  series = {LNCS},
}