@inproceedings{P106.128, author={Vandierendonck, Hans and Jacquet, Jean-Marie and Nootaert, Bavo and De Bosschere, Koen}, title={A Formal Model for Microprocessor Caches}, booktitle={Proceedings of the 10th WSEAS International Conference on Computers}, year={2006}, month={7}, pages={1056-1061}, }