From Global Choreography to Efficient Distributed Implementation | IEEE Conference Publication | IEEE Xplore