Sep 28, 2024  
Undergraduate Calendar 2019-2020 
    
Catalog Navigation
  Calendar Home
  Academic Regulations
  Sessional Dates
  Programs (by Faculty) and Faculty Information
  Programs (by Degree) and Minors
  Interdisciplinary Minors and Thematic Areas
  Certificate and Diploma Programs
  Course Listings
  Admission, Application and Financial Aid Information
  Governing Bodies and Emeriti
  Contact Us
  Glossary
  PDF Version and Archive
  My Favourites
HELP
Undergraduate Calendar 2019-2020 [-ARCHIVED CALENDAR-]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)

COMPSCI 3SD3 - Concurrent Systems

3 unit(s)
Models of concurrency: process algebras, Petri nets, temporal logics and model checking; concurrency as software structuring principle: processes, threads, synchronization mechanisms, resource management and sharing; deadlock, safety and liveness; design, verification and testing of concurrent systems.
Three lectures, one tutorial (two hours); first term
Prerequisite(s): COMPSCI 2C03 , 2FA3 , 2ME3  
Antirequisite(s): SFWRENG 3BB4  


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)