| Citation: | Charles Wallace, Guy Tremblay, and José Nelson Amaral, "An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol". Journal of Universal Computer Science 7( 11), 1088-1112. | |
|---|---|---|
| Summary: | ASMs are used to give formal operational semantics for the Location Consistency memory model and cache protocol. The cache protocol is proved to satisfy the memory model, but in a way that is strictly stronger than necessary, disallowing certain behavior allowed by the memory model. | |
| Subjects: | Protocols, Verification. | |
| Download: | From | Charles Wallace's home page in PostScript and PDF. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/lcspec.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT