Reasoning about Channel Passing in Choreography | IEEE Conference Publication | IEEE Xplore