Thuong, Nguyen. " Race and Hazard algebra in asynchronous system." VNU Journal of Science: Mathematics - Physics [Online], 24.1 (2008): n. pag. Web. 22 Nov. 2024