Theory of computation over stream algebras, and its applications

The theory of computable functions on abstract data types is outlined. Methods for extending the theory to establish the scope and limits of computation on streams over abstract data types arc described. Applications of these methods to the theory of synchronous concurrent algorithms are discussed.