Concurrency: Theory and Practice (CSSE7610)
Course level
Postgraduate Coursework
Faculty
Engineering, Architecture & Information Technology
School
Elec Engineering, Comp Science
Units
2
Duration
One Semester
Class hours
Lecture 2 Hours/ Week
Tutorial 1 Hour/ Week
Prerequisite
CSSE2002 or CSSE7023
Assessment methods
Assignments, Examination
Course enquiries
Dr Guangdong Bai (g.bai@uq.edu.au)
Study Abroad
This course is pre-approved for Study Abroad and Exchange students.
Current course offerings
Course offerings | Location | Mode | Course Profile |
Semester 2, 2024 (22/07/2024 - 18/11/2024) | St Lucia | In Person | Profile unavailable |
Please Note: Course profiles marked as not available may still be in development.
Course description
Provides a solid understanding of the issues of concurrent programming - processes and threads, scheduling, synchronisation, communications, and data sharing - including their application in distributed systems. The course covers methods for both the specification and verification of such systems at a high level of abstraction, and their implementation in a modern programming language.