Abstract
Many examples of computational systems compute over infinite sequences of data called streams. We call such systems stream transformers and the study of their theoretical and practical aspects stream processing. In this paper we present a tool for composing stream transformers within an extremely weak second-order, algebraic account of stream processing that comprises a straightforward method for the implementation, specification and verification of stream processing systems.
Get full access to this article
View all access options for this article.