Concurrency: Theory and Practice (CSSE7610)
Information valid for Semester 2, 2025
Course level
Postgraduate Coursework
Faculty
Engineering, Architecture & Information Technology
School
Elec Engineering, Comp Science
Units
2
Duration
One Semester
Attendance mode
In Person
Class hours
General contact hours 3 Hours/ Week
Prerequisite
CSSE2002 or CSSE7023
Assessment methods
Assignments, Examination
Course enquiries
CSSE7610@eecs.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, 2025 (28/07/2025 - 22/11/2025) | 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.
