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

Charles Wallace
University of Michigan, USA

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
Y. Gurevich, N. Soparkar, C. Wallace:
Formalizing Database Recovery
page 320 - 340
Vol.3 / Issue 4