Concurrencia y paralelismo

Hilos y procesos, bloqueos e interbloqueos (deadlocks), modelos asíncronos, programación sin bloqueos (lock-free) y el actor model para construir sistemas concurrentes correctos.