Mathematical Foundations of Computer Networking