User: Guest  Login
Document type:
Technical Report 
Author(s):
Manfred Broy; Gheorghe Stefanescu 
Title:
The Algebra of Stream Processing Functions 
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