Thanh, H. 2007 Jun 15. Some methods for transforming sequential processes into concurrent ones. VNU Journal of Science: Mathematics - Physics. [Online] 23:2