THANH, Hoang Chi. “Shift-Left” Algorithms transforming sequential processes into concurrent ones. VNU Journal of Science: Mathematics - Physics, [S.l.], v. 22, n. 2, june 2006. ISSN 2588-1124. Available at: <https://js.vnu.edu.vn/MaP/article/view/2794>. Date accessed: 17 june 2024.