Hee-Jun Yoo, Jin-Young Choi. Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings. Volume 2763 of Lecture Notes in Computer Science, pages 180-184, Springer, 2003. [doi]
Abstract is missing.