On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism

Willem C. Mallon. On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. In 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel. pages 12-22, IEEE Computer Society, 2000. [doi]

Authors

Willem C. Mallon

This author has not been identified. Look up 'Willem C. Mallon' in Google