Simulation of Skype Peer-to-peer Web Services Choreography Using Occam-Pi | IEEE Conference Publication | IEEE Xplore