In a mobile computing environment, processes in mobile agents need to communicate with each other, execute processes or spawn new processes locally or in a remote location, share data among processes. By studying the concurrency theory we can define model for mobile computation based on the idea of concurrent execution ofprocesses. In this paper, we have addressed the requirements of kernel programming language for migratory mobile processes, investigated KIAIM (Kernel Language for Agents Interaction and Mobility) family as a model of computation, the main results of the research, applications and future trends.