Network algebra for synchronous dataflow
Logic in Computer Science
2013-03-05 v1
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.
Keywords
Cite
@article{arxiv.1303.0382,
title = {Network algebra for synchronous dataflow},
author = {J. A. Bergstra and C. A. Middelburg and Gh. Stefanescu},
journal= {arXiv preprint arXiv:1303.0382},
year = {2013}
}
Comments
24 pages