Race and Hazard algebra in asynchronous system - Thuong, Nguyen Quy (VNU Journal of Science: Mathematics - Physics; Vol 24 No 1, 2008)
Abstract