A compositional approach for designing protocols | IEEE Conference Publication | IEEE Xplore