Towards a formal theory of computer architecture (1990)

by S M Muller, W J Paul
Venue:In Proceedings of PARCELLA 90, Advances in Parallel Computing. North--Holland