COMPSCI 2SD3 — Concurrent Systems
Models of concurrency: process algebras, Petri nets, temporal logics and model checking; concurrency as software structuring principle: processes, threads, synchronization mechanisms, resource managem
Terms offered: Winter
Antirequisites: COMPSCI 3SD3, SFWRENG 3BB4