Concorrenza e parallelismo

Thread e processi, lock e deadlock, modelli asincroni, programmazione lock-free e l'actor model per costruire sistemi concorrenti corretti.