Up a level |
Gopinath, K and Rao, Manohara R (1994) Verification of the DASH cache consistency protocols. In: Computer Systems and Education. Proceedings of the International Conference on Computer Systems and Education in Honour of Prof. V. Rajaraman, 22-25 June 1994, Bangalore, India, pp. 16-31.