Thanh, H. (2007). Some methods for transforming sequential processes into concurrent ones. VNU Journal Of Science: Mathematics - Physics, 23(2). Retrieved from https://js.vnu.edu.vn/MaP/article/view/2025