An algorithmic method for protocol conversion | IEEE Conference Publication | IEEE Xplore