|
Apr 28, 2024
|
|
|
|
CAS 724 / Concurrency Theory 3 unit(s)
R. Janicki
Models based on interleaving and partial order paradigms including the Calculus of Communicating Systems (CCS), Communicating Sequential Processes (CSP), Actors, Petri Nets, Pomsets and COSY. Basic properties of concurrent systems such as deadlock, liveness, safety, fairness, etc. Temporal Logic techniques. The growing role of concurrent systems in many diverse scientific and engineering activities will also be discussed.
Add to Favourites (opens a new window)
|
|