Xiaowei Huang, Jie Meng. A Semantic Preorder Combining ST Notion and Fair Testing Semantic. In Hamid R. Arabnia, Pei Li Zhou, editors, Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA. pages 82-88, CSREA Press, 2007.
Abstract is missing.