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 /jucs_7_11/an_abstract_state_machine
