%0 Journal Article %1 journals/jucs/WallaceTA01 %A Wallace, Charles %A Tremblay, Guy %A Amaral, José Nelson %D 2001 %J J. Univers. Comput. Sci. %K dblp %N 11 %P 1088-1112 %T An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol. %U http://dblp.uni-trier.de/db/journals/jucs/jucs7.html#WallaceTA01 %V 7

@article{journals/jucs/WallaceTA01, added-at = {2023-09-07T00:00:00.000+0200}, author = {Wallace, Charles and Tremblay, Guy and Amaral, José Nelson}, biburl = {https://www.bibsonomy.org/bibtex/2d68f0cc3eb8d3beb0463982507935724/dblp}, ee = {https://doi.org/10.3217/jucs-007-11-1088}, interhash = {25b6ec898b7273249cff2afe2b1ab9a0}, intrahash = {d68f0cc3eb8d3beb0463982507935724}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 11, pages = {1088-1112}, timestamp = {2024-04-08T15:58:01.000+0200}, title = {An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs7.html#WallaceTA01}, volume = 7, year = 2001 }