Thanh, Hoang. " Some methods for transforming sequential processes into concurrent ones." VNU Journal of Science: Mathematics - Physics [Online], 23.2 (2007): n. pag. Web. 12 May. 2025