Compositional construction of protocol behaviours with arbitrary channel capacities | IEEE Conference Publication | IEEE Xplore