User: Guest  Login
Title:

The Algebra of Stream Processing Functions

Document type:
Technical Report
Author(s):
Manfred Broy; Gheorghe Stefanescu
Abstract:
Dataflow networks are a model of concurrent computation. They consist of a collection of concurrent asynchronous processes which communicate by sending data over FIFO channels. In this paper we study the algebraic structure of the dataflow networks and base their semantics on stream processing functions. The algebraic theory is provided by the calculus of flownomials which gives a unified presentation of regular algebra and iteration theories. The kernel of the calculus is an equational axiomati...     »
Keywords:
Stream Processing Functions; Flownomials; Dataflow Networks; Basic Network Algebra
Year:
1996
Year / month:
1996-05-01 00:00:00
Pages:
42
 BibTeX