In this paper, interactions and interaction protocols in multi agent systems are investigated deeply and described formally in a process calculus, the π calculus. To discuss interactions between agents, the behaviors of agents are cataloged first, and then their specifications are formalized. After that, interaction protocols between agents are defined using processes, and the consistency and deadlock freedom of interactions are also analyzed in this paper.