Prerequisites:COS122 and COS212
Computer science courses mostly deal with sequential programs. This module looks at the fundamentals of concurrency; what it means, how it can be exploited, and what facilities are available to determine program correctness. Concurrent systems are designed, analysed and implemented.
This module covers computer networking principles and the operation of the TCP/IP protocol suite.