Concurrency: Theory and Practice (CSSE7610)
Course level
Postgraduate Coursework
Faculty
Engineering, Architecture & Information Technology
School
Info Tech & Elec Engineering
Units
2
Duration
One Semester
Class hours
2 Lecture hours
1 Tutorial hour
Prerequisite
CSSE2002 + CSSE2310
Assessment methods
Assignments, Examination
Course enquiries
A/Prof Graeme Smith (smith@itee.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
(First offered in 2014.) 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.