# Network Algebra

Part of the Discrete Mathematics and Theoretical Computer Science book series (DISCMATH)

Part of the Discrete Mathematics and Theoretical Computer Science book series (DISCMATH)

Network Algebra considers the algebraic study of networks and their
behaviour. It contains general results on the algebraic theory of
networks, recent results on the algebraic theory of models for parallel
programs, as well as results on the algebraic theory of classical control
structures. The results are presented in a unified framework of the
calculus of flownomials, leading to a sound understanding of the algebraic
fundamentals of the network theory.
The term 'network' is used in a broad sense within this book, as
consisting of a collection of interconnecting cells, and two radically
different specific interpretations of this notion of networks are studied.
One interpretation is additive, when only one cell is active at a given
time - this covers the classical models of control specified by finite
automata or flowchart schemes. The second interpretation is
multiplicative, where each cell is always active, covering models for
parallel computation such as Petri nets or dataflow networks. More
advanced settings, mixing the two interpretations are included as well.
Network Algebra will be of interest to anyone interested in network
theory or its applications and provides them with the results needed to
put their work on a firm basis. Graduate students will also find the
material within this book useful for their studies.

Concurrency and Control Feedback Network Algebra algebra calculus parallel computation

- DOI https://doi.org/10.1007/978-1-4471-0479-7
- Copyright Information Springer-Verlag London Limited 2000
- Publisher Name Springer, London
- eBook Packages Springer Book Archive
- Print ISBN 978-1-85233-195-5
- Online ISBN 978-1-4471-0479-7
- About this book