Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum. Formal Specification of an Asynchronous Processor via Action Refinement. In Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA. pages 36-41, IEEE Computer Society, 2004. [doi]
Abstract is missing.