journal : IEEE Transaction on Software Engineering

KLAIM: A Kernel Language for Agent Interaction and Mobility (1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese