Modelling Atomic Commitment