De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)