Location of Repository

Network algebra for synchronous and asynchronous dataflow

By J.A. Bergstra and G. Stefanescu


Network algebra (NA) is proposed as a uniform algebraic framework for the description (and\ud analysis) of dataflow networks. The core of this algebraic setting is provided by an equational theory called Basic Network Algebra (BNA). It constitutes a selection of primitives and identities\ud from the algebra of flownomials due to (Ste86) and (CaS88&89).\ud Both synchronous and asynchronous dataflow networks are then investigated from the viewpoint of network algebra. To this end the NA primitives are de\ud ned such that the identities of\ud BNA hold. These axioms are particularly strict about the role of the connections, which will be\ud called flows of data. We describe three interpretations of the connections that satisfy the BNA identities: minimal stream delayers, stream delayers and stream retimers. Each of the above\ud possibilities leads to a class of dataflow networks, synchronous dataflow networks, asynchronous dataflow networks and fully asynchronous dataflow networks, respectively.\ud For each case stream transformer and process algebra models are introduced and compared

Topics: Wijsbegeerte, network algebra, dataflow networks, process algebra, feedback, flowchart theories, bisimulation semantics, Broy's model, trace theory, maximal fixed point model
Year: 1994
OAI identifier: oai:dspace.library.uu.nl:1874/26460
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.