Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang. Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. Electronic Notes in Theoretical Computer Science, 146(2):189-206, 2006. [doi]
Abstract is missing.