Process Algebraic Model of Out-of-Order Superscalar Processor Programs for Instruction Level Timing Analysis

Hee-Jun Yoo and Jin-Young Choi

Asian Journal of Information Technology 3 ( 12 ): 1295 - 1300 , 2004