Yang Zhang, Leandro S. Heck, Matheus T. Moreira, David Zar, Melvin Breuer, Ney Laert Vilar Calazans, Peter A. Beerel. Design and Analysis of Testable Mutual Exclusion Elements. In 21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015, Mountain View, CA, USA, May 4-6, 2015. pages 124-131, IEEE, 2015. [doi]
Abstract is missing.