scientific article; zbMATH DE number 785052

MaRDI QIDQ4842541zbMATH OpenFDO

Authors John V. Tucker, Jeffery Zucker

Publication date 14 August 1995

zbMATH Keywords

computable functionsconcurrent assignmentsdeterministic parallel computationimperative modelsimultaneous primitive recursion schemesstream algebrasstream over a many-sorted algebrastream transformation

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Theory of computation over stream algebras, and its applications
• scientific article; zbMATH DE number 1870421
• Computation on abstract data types. The extensional approach, with an application to streams
• The algebra of stream processing functions
• Primitive program algebras of computable functions

Cited in

(18)

• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• On approximate and algebraic computability over the real numbers
• Computation by `While' programs on topological partial algebras
• On the algebraic complexity of some families of coloured Tutte polynomials
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Recursive tables and effective definition schemes
• Computation on abstract data types. The extensional approach, with an application to streams
• scientific article; zbMATH DE number 994856 (Why is no real title available?)
• scientific article; zbMATH DE number 3960963 (Why is no real title available?)
• Computation over algebraic structures and a classification of undecidable problems
• scientific article; zbMATH DE number 1870421 (Why is no real title available?)
• scientific article; zbMATH DE number 845929 (Why is no real title available?)
• Computability of operators on continuous and discrete time streams
• Theory of computation over stream algebras, and its applications
• Turing-completeness of polymorphic stream equation systems
• Continuity of operators on continuous and discrete time streams
• Stream processors and comodels
• Computability of analog networks

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842541)