COMPSCI 2SD3 - 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); second term; may be offered also in the first term
Prerequisite(s): COMPSCI 2C03, 2LC3 or 2DM3, 2ME3
Co-requisite(s): COMPSCI 2AC3
Antirequisite(s): COMPSCI 3SD3, SFWRENG 3BB4