Documentación: mapeo a problemas de concurrencia. Retoque ProcessManager