scientific article; zbMATH DE number 785052

zbMATH Open0831.08001MaRDI QIDQ4842541FDOQ4842541

Authors: John V. Tucker, Jeffery Zucker 

Publication date: 14 August 1995

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• Recursive tables and effective definition schemes
• On approximate and algebraic computability over the real numbers
• Computation over algebraic structures and a classification of undecidable problems
• Computability of analog networks
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the algebraic complexity of some families of coloured Tutte polynomials
• Title not available (Why is that?)
• Continuity of operators on continuous and discrete time streams
• Computation by `While' programs on topological partial algebras
• 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)