The Two-Phase Commitment Protocol in an Extended pi-Calculus