Formalizing memory coherency models (1994)

by J Bernabéu-Aubán, V Cholvi-Juan
Venue:Journal of Computing and Information