Conference
Theory of computation over stream algebras, and its applications
Abstract
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.
Authors
Tucker JV; Zucker JI
Series
Lecture Notes in Computer Science
Volume
629
Pagination
pp. 62-80
Publisher
Springer Nature
Publication Date
1992
DOI
10.1007/3-540-55808-x_6
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743