Stream Processing Functions

DOI10.1147/RD.191.0012MaRDI QIDQ4048547zbMATH OpenOpenAlexFDO

Authors William H. Burge

Publication date 1975

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.191.0012

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(5)

• A theory for nondeterminism, parallelism, communication, and concurrency
• Applications of compactness in the Smyth powerdomain of streams
• A theory for program and data type specification
• Deriving graphs from graphs by applying a production
• A decision method for first-order stream logic

This page was built for publication: Stream Processing Functions

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