THANH, Hoang Chi. Some methods for transforming sequential processes into concurrent ones. VNU Journal of Science: Mathematics - Physics, [S.l.], v. 23, n. 2, june 2007. ISSN 2588-1124. Available at: <https://js.vnu.edu.vn/MaP/article/view/2025>. Date accessed: 24 nov. 2024.