Mobile agents have arisen as an interesting paradigm to build distributed applications, due to the unparalleled advantages they offer. However, along with the advantages they also present new challenges. One of the most relevant is that it is not easy to ensure efficient communication among agents that move continually from one computer to another.In this paper, we apply SPE techniques to model and analyze, how a mobile agent tracking approach addresses the highly dynamic movement problem in a distributed computing environment.