## Network AlgebraNetwork 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. |

### Other editions - View all

### Common terms and phrases

AddRel(D algebraic structure algebraic theory arbitrary arrows atomic automata automaton axiomatic systems axiomatization behaviour bijections bisimulation BNA axioms branching constants calculus cells chapter coalgebraic Computer Science congruence relation connections corresponding data-flow networks defined definition denotes described deterministic dual duality Elgot theory enzymatic rule equations equivalence relation equivalent EXERCISES AND PROBLEMS feedback finite flowchart flownomial expressions Floyd-Hoare logic functions hence i(la idempotent identity input interface interpretation isomorphic iteration job stream Kleene theory languages Lemma LR-flow matrix theory minimal mixalgebra monoid morphism multiplicative network algebra nf-pairs nondeterministic normal form notation obtained operations output parallel Petri nets presented PROBLEMS SEC process algebra proof prove regular expressions relations representation resp result semantics simulation Ştefănescu symocat synchronous Theorem transformation transition tuple unique valid variables xy-relations xy-symocats αβ αγ