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]

Abstract

Abstract is missing.