The course aim is to introduce the principles of concurrency and concurrent programming languages with CSP and Java. The main contents are processes, concurrency, synchronous and asynchronous communication, communication protocols, non-determinism, shared variables and resources, deadlock, safety and liveness, event-driven multithreads, real-time distributed and concurrent systems, concurrent programming language.

None