Samuel Ho, Lawrence Snyder. A Formal Model of the Processor Memory Interface. In Benjamin W. Wah, editor, Proceedings of the 1990 International Conference on Parallel Processing, Volume 1: Architectur, Urbana-Champaign, IL, August 1990. pages 181-184, Pennsylvania State University Press, 1990.
@inproceedings{HoS90:1,
title = {A Formal Model of the Processor Memory Interface},
author = {Samuel Ho and Lawrence Snyder},
year = {1990},
tags = {modeling, process modeling},
researchr = {https://researchr.org/publication/HoS90%3A1},
cites = {0},
citedby = {0},
pages = {181-184},
booktitle = {Proceedings of the 1990 International Conference on Parallel Processing, Volume 1: Architectur, Urbana-Champaign, IL, August 1990},
editor = {Benjamin W. Wah},
publisher = {Pennsylvania State University Press},
isbn = {0-271-00728-1},
}