Thanh, H. (2006). “Shift-Left” Algorithms transforming sequential processes into concurrent ones. VNU Journal Of Science: Mathematics - Physics, 22(2). Retrieved from https://js.vnu.edu.vn/MaP/article/view/2794