scientific article; zbMATH DE number 785052

zbMath0831.08001MaRDI QIDQ4842541

J. V. Tucker, Jeffery Zucker

Publication date: 14 August 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items

Computability of analog networks, Computation on abstract data types. The extensional approach, with an application to streams, Computation over algebraic structures and a classification of undecidable problems, On the algebraic complexity of some families of coloured Tutte polynomials, Continuity of operators on continuous and discrete time streams, 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, Recursive tables and effective definition schemes, Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.