Formal Model for Simulations Instructor: DR. Lê Anh Ngọc Presented by – Group 6: 1. Nguyễn Sơn Hùng 2. Lê Văn Hùng 3. Nguyễn Xuân Hậu 4. Nguyễn Xuân Tùng.
CPSC 668 Distributed Algorithms and Systems
CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS