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
Last offered 2021-2022.