Algebraic models of simultaneous multi-threaded and chip-level multi-threaded microprocessors (2007)

by N A Harman
Venue:the Journal of Algebraic and Logic Programming