Date: 30 Jul 2005

Theory of computation over stream algebras, and its applications

* Final gross prices may vary according to local VAT.

Get Access


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.