Varias correcciones a la presentación de primitivas de sincronización