Michael Theobald, Steven M. Nowick. Transformations for the Synthesis and Optimization of Asynchronous Distributed Control. In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001. pages 263-268, ACM, 2001. [doi]
Abstract is missing.