Prosenjit Chatterjee, Ganesh Gopalakrishnan. towards A formal Model of Shared Memory Consistency for Intel Itanium:::TM:::. In 19th International Conference on Computer Design (ICCD 2001), VLSI in Computers and Processors, 23-26 September 2001, Austin, TX, USA, Proceedings. pages 515-518, IEEE Computer Society, 2001.
Abstract is missing.