Klaim
Adaptation of
X-KLAIM (2923)
Language for organising mobile agents and their interaction strategies