Home
Scholarly Works
Computable Functions on Stream Algebras
Chapter

Computable Functions on Stream Algebras

Abstract

Let A be a many-sorted algebra. A stream over A is an infinite sequence of data from A. We study classes of computable functions on streams over A. We show how models of deterministic parallel computation on A can be adapted to provide new models of computation on stream algebras over A. The primary models considered are simultaneous primitive recursion schemes, with and without the least number operator, over A. We also look at an imperative model involving concurrent assignments.

Authors

Tucker JV; Zucker JI

Book title

Proof and Computation

Pagination

pp. 397-437

Publisher

Springer Nature

Publication Date

January 1, 1995

DOI

10.1007/978-3-642-79361-5_10
View published work (Non-McMaster Users)

Contact the Experts team