Continuity of operators on continuous and discrete time streams

DOI10.1016/j.tcs.2011.04.012zbMath1251.68141OpenAlexW1995730325MaRDI QIDQ549207

J. V. Tucker, Jeffery Zucker

Publication date: 7 July 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.012

zbMATH Keywords

fixed pointscompact-open topologytopological algebrasanalog computinganalog networkscontinuous stream operationscontinuous time streamsdiscrete time streamsHadamard's principlesynchronous concurrent algorithms

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Function spaces in general topology (54C35) Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Fixed Point Techniques in Analog Systems ⋮ Characterizations of semicomputable sets of real numbers ⋮ Generalizing Computability Theory to Abstract Algebras ⋮ Continuity of operators on continuous and discrete time streams ⋮ Feferman on Computability

Cites Work

• Continuity of operators on continuous and discrete time streams
• Computability of analog networks
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Concrete models of computation for topological algebras
• A survey of stream processing
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
• Abstract versus concrete computation on metric partial algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuity of operators on continuous and discrete time streams