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 (Apr. 2016), 15–23. DOI:https://doi.org/10.15625/1813-9663/7/2/8284.