P4xos: consensus as a network service by Dang, HT, Bressana, P, Wang, H, Lee, KS, Zilberman, N, Hakim, W, Canini, M, Pedone, F, Soule, R