Lai, I. C.I. C.LaiLei, C. L.C. L.Lei2009-04-272018-07-062009-04-272018-07-061994-12http://ntur.lib.ntu.edu.tw//handle/246246/154438en-USThe Formalization and Hierarchy of Memory Consistency Modelsconference paper