Part of the Physical Sciences and Mathematics Commons

Works by Guy Tremblay in Physical Sciences and Mathematics

2001

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol, Charles Wallace, Guy Tremblay, Jose N. Amaral
Michigan Tech Publications

Link