@techreport{weko_33658_1, author = "高田,司郎 and 田口,賢治 and 城和貴 and 福田,晃", title = "Specification and Verification of Memory Consistency Models for Shared - Memory Multiprocessor Systems", year = "1998", institution = "奈良先端大:けいはんな, 九大, 和歌山大, 奈良先端大", number = "67(1998-MPS-020)", month = "jul" }