, pela incansável e valiosa orientação e, principalmente, pelo apoio, amizade e confiança, sem os quais este trabalho não teria sido realizado.Aos meus pais, que representam a razão e o incentivo deste trabalho, pela compreensão durante os muitos dias de ausência e pelo seu esforço incondicional investido na formação dos filhos.À minha irmã Roberta, pelo apoio e companheirismo fundamentais em todos os momentos e pelas críticas e sugestões indispensáveis para este trabalho.Ao Daniel, pelo amor e carinho que me ajudam a enfrentar os obstáculos da vida, e pela compreensão nos momentos em que estive ausente. À Profa. Dra. Regina Helena Carlucci Santana, pelas contribuições para a realização deste trabalho.Ao Marcos e à Regina, pela confiança em mim depositada desde as disciplinas da graduação, passando pela iniciação científica, pelo mestrado e pelo doutorado. Pela amizade, pelos conselhos, pela dupla orientação e por serem a minha família em São Carlos.Ao amigo João Carlos de Moraes Morselli Jr. (Boca), pela troca de idéias e pelas palavras encorajadoras durante todo o doutorado.Ao Prof. Dr. Eduardo Marques, do ICMC-USP, e ao Prof. Dr. Nivaldi Calônego Jr., da UNIC, pelos ensinamentos e pelo permanente incentivo. À Wladerez, da seção de pós-graduação do IFSC-USP, pela simpatia e eficiência com que sempre me atendeu.Ao Márcio Augusto de Souza e à Sarita Mazzini Bruschi, sempre dispostos a ajudar, pela amizade e pelas muitas dúvidas solucionadas. Aos colegas do Grupo de Sistemas Distribuídos e Programação Concorrente doICMC-USP, Álvaro, Andrezza, Boca, Célia, Edmilson, João Carlos, Jorge, Kalinka, Luciano, Mara, Márcio Augusto, Mário, Omar, Paulo Sérgio e Simone, Renato, Ricardo, Sarita, Tatiana, Tomás e Vera, por tornarem o LaSDPC um ótimo ambiente de trabalho.Ao pessoal do STI-ICMC-USP, pela atenção: Eduardo, Cabral, Franz e Sônia.Ao Prof. Dr. Edson Norberto Cáceres, do DCT/CCET/UFMS, pelo apoio.Ao Departamento de Computação e Estatística da UFMS, pelo meu afastamento. À Giselda e ao Sr. Leodir, por sua atenção na secretaria do DCT.À Leonora e à Daisy, da Pró-Reitoria de Pesquisa e Pós-Graduação da UFMS, pela eficiência ao cuidarem dos assuntos relacionados ao meu afastamento.To Bradd Righby (Alphatech, Inc.), for helping with ALPHA/Sim.Àqueles que direta ou indiretamente contribuíram para a realização deste trabalho. Este trabalho teve auxílio financeiro da Capes e da UFMS. OFC Optimistic Fossil Collection CO-OP Conservative-Optimistic Protocol DIS Distributed Interactive Simulation GSPN Generalized Stochastic Petri Nets GPW Global Progress Window GVT Global Virtual Time LAP Local Adaptive Protocol LVT Local Virtual Time LTW Local Time Warp LVTW Local Virtual Time Windows MTW Moving Time Windows NPSI