Theory and practice of computer communication networks. Emphasis is on verification and performance analysis of network control processes. Topics include protocols for channel access, point-to-point and multipoint reliable transmission, routing, congestion control, network management, multicasting, and ATM networks. (Formerly Modeling of Communications Protocols.)
While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.