Los sistemas replicados son una rama de los sistemas distribuidos que tienen por objetivo obtener sistemas informáticos altamente disponibles, tolerantes a fallos y con altos rendimientos. Una de las últimas tendencias en las técnicas de replicación, gestionadas por protocolos de replicación, es hacer uso de los Sistemas de Comunicación a Grupos y más especialmente de la primitiva de comunicación de difusión atómica para obtener protocolos de recuperación eficientes. Un aspecto importante en estos sistemas consiste en cómo gestionan la desconexión de nodos --que degrada su servicio-- y la conexión/reconexión de nodos para mantener su soporte original. Esta tarea es delegada en los sistemas replicados al protocolo de recuperación. Cómo trabaja éste depende especialmente del modelo de fallos adoptado. Un modelo comúnmente utilizado para sistemas con gran estado es el de fallo-recuperación con amnesia parcial ya que proporciona periodos de recuperación cortos pero asumir este modelo implica la aparición de diversos problemas. Muchos de ellos ya han sido solventados en la literatura: gestión de vistas, aborto de las transacciones locales en el nodo caído --cuando se habla de sistemas transaccionales--, o por ejemplo la reinclusión de nodos en el sistema replicado. De todos modos, hay un problema asociado a la asunción de este modelo que no ha sido considerado completamente: el fenómeno de la amnesia. Fenómeno que puede dar lugar a inconsistencias si no es gestionado correctamente. Este trabajo presenta este problema de inconsistencia debido a la amnesia y lo formaliza, definiendo las propiedades que se deben cumplir para evitarlo y plantea posibles soluciones. Además, también se presenta y formaliza un problema de inconsistencia --debido a la amnesia-- que aparece bajo una secuencia específica de eventos tolerada por la condición de progreso mayoritaria que implicaría parar el sistema, proponiendo también las propiedades para solventarlo y planteando soluciones. Como consecuencia se propone una forma alternativa de condición de progreso mayoritaria. Después se define de forma más precisa una de las soluciones --que consiste en persistir los mensajes de forma atómica en el proceso de entrega-- y se estudia su comportamiento bajo diferentes configuraciones de los sistemas replicados. Finalmente, se incluye un estudio del sobrecoste introducido por la utilización de la solución general planteada, demostrando que si la memoria es suficientemente rápida éste es asumible.