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

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

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

(17)

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

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)