Santosh N. Varanasi, Kenneth S. Stevens, Graham M. Birtwistle. Concurrency Reduction of Untimed Latch Protocols - Theory and Practice. In 16th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2010, Grenoble, France, 3-6 May 2010. pages 26-37, IEEE Computer Society, 2010. [doi]
Abstract is missing.