This paper proposes a language called CLAIM and its operational semantics. The agents implemented in CLAIM are endowed with cognitive capabilities, are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus.
Citation:
Alexandru Suna, Amal El Fallah-Seghrouchni, Christophe Fouqueré, Patrick Baillot, "Mobile Multi-Agent Systems: A Programming Language and Its Semantics," aamas, vol. 3, pp.1386-1387, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3 (AAMAS'04), 2004