Network algebra for asynchronous dataflow∗

DOI10.1080/00207169708804599MaRDI QIDQ4375420zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, C. A. Middelburg, Gh. Ştefănescu

Publication date 4 March 1998

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.0382

zbMATH Keywords

asynchronous dataflow networksnetwork algebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Abstract: We develop an algebraic theory of synchronous dataflow networks. First, a basic algebraic theory of networks, called BNA (Basic Network Algebra), is introduced. This theory captures the basic algebraic properties of networks. For synchronous dataflow networks, it is subsequently extended with additional constants for the branching connections that occur between the cells of synchronous dataflow networks and axioms for these additional constants. We also give two models of the resulting theory, the one based on stream transformers and the other based on processes as considered in process algebra.

Recommendations

• scientific article; zbMATH DE number 1482700
• The algebra of stream processing functions
• scientific article; zbMATH DE number 742725

Cites work

• A fully abstract trace model for dataflow and asynchronous networks
• Algebra of communicating processes with abstraction
• Focus points and convergent process operators
• scientific article; zbMATH DE number 1479614 (Why is no real title available?)
• Modular specification of process algebras
• Nondeterministic data flow programs: How to avoid the merge anomaly
• On flowchart theories. II: The nondeterministic case
• On sequential composition, action prefixes and process prefix
• Process Algebra
• Process algebra for synchronous communication

Cited in

(10)

• A fully abstract trace model for dataflow and asynchronous networks
• Network algebra in Java
• scientific article; zbMATH DE number 3920392 (Why is no real title available?)
• scientific article; zbMATH DE number 517054 (Why is no real title available?)
• scientific article; zbMATH DE number 742725 (Why is no real title available?)
• Reaction and control I. Mixing additive and multiplicative network algebras
• scientific article; zbMATH DE number 7020152 (Why is no real title available?)
• The algebra of stream processing functions
• Nondeterministic asynchronous dataflow in Isabelle/HOL
• A basic algebra of stateless connectors

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Network algebra for asynchronous dataflow^∗

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