* El problema de los 5 filósofos. * Es un problema cásico es útil para modelar
procesos que compiten por el acceso exclusivo a un número limitado de recursos, como una unidad de cinta u otro dispositivo de E/S. * El problema de los lectores escritores. * Es un problema clásico útil para modelar procesos que compiten por el acceso exclusivo a un número limitado de recursos, en donde Múltiples procesos pueden consultar simultáneamente al recurso y solo un proceso puede escribir un recurso a la vez. * El problema del Productor / Consumidor. * Es un problema clásico en el cual se posee un buffer que gestiona los elementos con una estrategia LIFO. * Depuración compleja. * Es una desventaja de la programación concurrente, al estar compuesta por múltiples actividades, estas se pueden intercalar de diferentes maneras en cada ejecución; proveyendo así para las mismas entradas a la aplicación, resultados distintos en diferentes ejecuciones. * Occam. * Es un lenguaje de programación imperativo y estructurado (al igual que Pascal) desarrollado por David May, que soporta en forma nativa la programación concurrente. * CSP. * Es un lenguaje formal creado por Charles Antony Richard Hoare, utilizado para especificar interacciones entre procesos concurrentes. * Concurrent Pascal. * Es el primer lenguaje concurrente, diseñado por Per Brinch Hansen. * Concepto de semáforo. * Fue creado por Dijkstra, para saber cuándo ejecutar un programa y cuando no.