Part of the Physical Sciences and Mathematics Commons

Works by Jose N. Amaral 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