The algebra of stream processing functions

DOI10.1016/S0304-3975(99)00322-9MaRDI QIDQ5941194zbMATH OpenOpenAlexFDO

Authors M. Broy, Gh. Ştefănescu

Publication date 20 August 2001

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

Full work available at URL https://doi.org/10.1016/s0304-3975(99)00322-9

zbMATH Keywords

concurrent computationcalculus of flownomialsdata flow network

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 742725
• Theory of computation over stream algebras, and its applications
• Network algebra for asynchronous dataflow^∗
• scientific article; zbMATH DE number 1482700
• scientific article; zbMATH DE number 1501631

Cites work

• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3872641 (Why is no real title available?)
• scientific article; zbMATH DE number 4157896 (Why is no real title available?)
• scientific article; zbMATH DE number 3651738 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3493844 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 3581600 (Why is no real title available?)
• scientific article; zbMATH DE number 1788307 (Why is no real title available?)
• scientific article; zbMATH DE number 3997145 (Why is no real title available?)
• scientific article; zbMATH DE number 4121404 (Why is no real title available?)
• scientific article; zbMATH DE number 3801468 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 4187117 (Why is no real title available?)
• A fixpoint semantics for nondeterministic data flow
• Automata Studies. (AM-34)
• Equational axioms for regular sets
• Network algebra for asynchronous dataflow^∗
• Nondeterministic data flow programs: How to avoid the merge anomaly
• On flowchart theories. I. The deterministic case
• On flowchart theories. II: The nondeterministic case
• Semantics of finite and infinite networks of concurrent communicating agents
• Towards a complete hierarchy of compositional dataflow models
• Varieties of Iteration Theories

Cited in

(20)

• Network algebra for asynchronous dataflow^∗
• CPO semantics of timed interactive actor networks
• An extensional fixed-point semantics for nondeterministic data flow
• scientific article; zbMATH DE number 177823 (Why is no real title available?)
• scientific article; zbMATH DE number 785052 (Why is no real title available?)
• Algorithmic Properties of Millstream Systems
• Asynchronous stream processing with S-Net
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• A domain-specific language for cryptographic protocols based on streams
• Imperative abstractions for functional actions
• A formally grounded software specification method
• scientific article; zbMATH DE number 4180816 (Why is no real title available?)
• The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
• A formal framework for interactive agents
• (Co)algebraic characterizations of signal flow graphs
• Monoidal streams for dataflow programming
• Compositional semantics of dataflow networks with query-driven communication of exact values
• Algebraic specification of reactive systems
• A many sorted algebra based signal processing data flow language
• Toward an algebraic theory of systems

This page was built for publication: The algebra of stream processing functions

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