Correção do protocolo de bit alternado
O que define correção?
- Garante nenhuma perda? Elimina duplicação? Mantém a seqüência?
- Está livre de deadlock? Pode exibir livelock?
O protocolo está correto?
- sugestão: seria possível comportamento de aprendiz do feiticeiro?
Ele é eficiente?
- protocolo mantém apenas 1 mensagem em trânsito