Processes vs. threads. Programming language support for threads: POSIX, C11, Ada, Java. Introduction to POSIX threads (Pthreads): C function types, pthread_t, creating and joining threads. Hello, world in Pthreads.
Slides: 12_threads1.pdf
Formal methods, concurrency, and verification