Abstract: The two phase commit protocol is the simplest and most popular atomic commitment protocol （ACP）. It makes the transaction commitment in the distributed systems have atomicity and durability. In this paper, we use the π-calculus to describe the two phase c

Key words: 2PCP, Formalization, Asynchronous π-calculus,Bisimulation