A Formal Model of the Processor Memory Interface

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.

Authors

Samuel Ho

This author has not been identified. Look up 'Samuel Ho' in Google

Lawrence Snyder

This author has not been identified. Look up 'Lawrence Snyder' in Google