CSC 464


Units: 1.5

Hours: 3-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 Fall Spring

Note that not all courses are offered in every term. If a course is not offered, the schedule page will alert you that "No classes were found that meet your search criteria."