Guy Tremblay
Dept. d'informatique, Université du Québec à Montréal, 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
