Hưng, Đặng V. (2016) “Một mô hình để biểu diễn hành vi và phân tích các hệ thống phân tán”, Journal of Computer Science and Cybernetics, 7(2), p. 15–23. doi: 10.15625/1813-9663/7/2/8284.