Liveness

Uma propriedade de sistemas concorrentes que garante que algo 'bom' eventualmente acontecerá, como um processo que eventualmente obterá acesso a um recurso solicitado.