Resumo
Este plano de trabalho visa inicialmente investigar as necessidades de suporte a diferentes noções de consistência em sistemas INC disponíveis na literatura. Mais especificamente, para cada sistema INC será analisada de forma detalhada qual parte do estado da INC deve ser preservada e a respectiva noção de consistência necessária. Além disso, o plano de trabalho contempla o desenvolviment…