Đồng bộ đầy đủ của các hệ thống - Hoàng, Chí Thành (Đại học Quốc gia Hà Nội, 2015)