Go home now Header Background Image
Submission Procedure
share: |
Follow us

Jose N. Amaral
Computing Science Dept., University of Alberta, Canada

C. Wallace, G. Tremblay, J. N. Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
page 1088 - 1112
Vol.7 / Issue 11