Algebraic Models of Simultaneous Multithreaded and Multi-core Processors - Neal Harman (2007)
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings