Towards a uniform topological treatment of streams and functions on streams

This publication has 10 references indexed in Scilit:

• A systematic approach to language constructs for concurrent programs
  Science of Computer Programming, 1984
• Compactness in semantics for merge and fair merge
  Published by Springer Nature ,1984
• Connections between two theories of concurrency: Metric spaces and synchronization trees
  Information and Control, 1983
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• Correctness of programs with function procedures
  Published by Springer Nature ,1982
• An extensional treatment of dataflow deadlock
  Theoretical Computer Science, 1981
• Applicative style programming, program transformation, and list operators
  Published by Association for Computing Machinery (ACM) ,1981
• A new implementation technique for applicative languages
  Software: Practice and Experience, 1979
• Stream Processing Functions
  IBM Journal of Research and Development, 1975
• Topologies on spaces of subsets
  Transactions of the American Mathematical Society, 1951