A Co-iterative Characterization of Synchronous Stream Functions

Paul Caspi, Marc Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. Electronic Notes in Theoretical Computer Science, 11:1-21, 1998. [doi]

Abstract

Abstract is missing.