Computer Science (CSC) Courses>Concurrency

CSC464 - Concurrency

Description

Introduction to the foundations of concurrency theory and the issues of specification and verification of concurrent systems. Topics include models of concurrency such as Petri nets, labelled transition systems, and traces; specification of concurrent systems/programs in formalisms including process algebras, statecharts, Petri nets and temporal logics; verification techniques such as bisimulation and model checking. Case studies are taken from coordination problems, controller design, communication protocols, hardware and user interface design.

Units

1.5

Hours: lecture-lab-tutorial

3-0-0

Prerequisites

  • Complete all of:
    • CSC320 - Foundations of Computer Science (1.5)
    • CSC360 - Operating Systems (1.5)

Course offered by

Department of Computer Science

Course schedules

Summer timetable available: February 15. Fall and Spring timetables available: May 15.

Use the buttons below to search the timetable. If the search results show 0 classes and the message ‘Please search again’, then the class is not scheduled for the selected term.