Cập nhật báo cáo...

Phần tiến trình đồng bộ => minh họa bằng đồ thị và các khái niệm trên đồ
thị. Biểu diễn toán học các điều kiện,...