Theory of computation over stream algebras, and its applications

DOI10.1007/3-540-55808-X_6MaRDI QIDQ5096820zbMATH OpenOpenAlexFDO

Authors John V. Tucker, Jeffery Zucker

Publication date 18 August 2022

Published in Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55808-x_6

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Abstract data types; algebraic specification (68Q65) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 785052
• Computation on abstract data types. The extensional approach, with an application to streams
• scientific article; zbMATH DE number 88946
• A systematic study of models of abstract data types
• scientific article; zbMATH DE number 4096757

Cites work

• Algebraic specifications of computable and semicomputable data types
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• Examples of semicomputable sets of real and complex numbers
• scientific article; zbMATH DE number 432708 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 4125019 (Why is no real title available?)
• scientific article; zbMATH DE number 1142319 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES

Cited in

(17)

• Towards a theory of parallel algorithms on concrete data structures
• Computation by `While' programs on topological partial algebras
• Hierarchical reconstructions of cardiac tissue
• Computation on abstract data types. The extensional approach, with an application to streams
• Computing with multiple discrete flows
• scientific article; zbMATH DE number 4062575 (Why is no real title available?)
• scientific article; zbMATH DE number 4096757 (Why is no real title available?)
• scientific article; zbMATH DE number 88946 (Why is no real title available?)
• scientific article; zbMATH DE number 1231624 (Why is no real title available?)
• scientific article; zbMATH DE number 1163991 (Why is no real title available?)
• Streams are forever
• scientific article; zbMATH DE number 1870421 (Why is no real title available?)
• scientific article; zbMATH DE number 785052 (Why is no real title available?)
• scientific article; zbMATH DE number 845929 (Why is no real title available?)
• scientific article; zbMATH DE number 3892556 (Why is no real title available?)
• The algebra of stream processing functions
• PSEUDO: applications of streams and lazy evaluation to integrable models

This page was built for publication: Theory of computation over stream algebras, and its applications

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