Achieving Correct Hop-by-Hop Forwarding on Multiple Policy-Based Routing Paths

Amaral, P; Pinto, P; Bernardo, L

Amaral, P (corresponding author), Univ Nova Lisboa, Dept Engn Electrotecn, Fac Ciencias & Tecnol, P-2829516 Caparica, Portugal.

IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2020; 7 (3): 1226

Abstract

Algebra has made the tasks of modeling routing algorithms and proving their correct operation very clear. However, traditional models are only concern......

Full Text Link