A Verified Session Protocol for Dynamic Service Chaining

Published in IEEE/ACM Transactions on Networking, 2021

Recommended citation: P. Zave, F. B. Carvalho, R. A. Ferreira, J. Rexford, M. Morimoto and X. K. Zou. "A Verified Session Protocol for Dynamic Service Chaining." IEEE/ACM Transactions on Networking. https://doi.org/10.1109/TNET.2020.3037049