CSC 464


Units: 1.5

Hours: 3-0-0

Introduction to the foundations of concurrency theory and the issues of specification and verification of concurrent systems. Topics will 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 will be taken from coordination problems, controller design, communication protocols, hardware and user interface design.


Undergraduate course in Computer Science offered by the Department of Computer Science in the Faculty of Engineering.

Summer 2019 Fall 2019 Spring 2020

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

Before these dates the class schedule will show "No classes were found that meet your search criteria". If this message is shown after these dates, the course is not scheduled for the selected term.