John Hansen, Montek Singh. Concurrency-Enhancing Transformations for Asynchronous Behavioral Specifications: A Data-Driven Approach. In 14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, Newcastle upon Tyne, UK, April 7-10, 2008. pages 15-25, IEEE Computer Society, 2008. [doi]
Abstract is missing.