Freek Verbeek, Sebastiaan J. C. Joosten, Julien Schmaltz. Formal Deadlock Verification for Click Circuits. In 19th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2013, Santa Monica, CA, USA, May 19-22, 2013. pages 183-190, IEEE Computer Society, 2013. [doi]
Abstract is missing.