Um Protocolo para Rastreamento de Mensagens em Sistemas com Checkpointing Assincrono - SERGIO RICARDO DA CONCEICAO (1997)