Network Algebra Book

	Preface
Pt. I	An introduction to Network Algebra
	Brief overview of the key results	3
1	Network Algebra and its applications	17
Pt. II	Relations, flownomials, and abstract networks
2	Networks modulo graph isomorphism	57
3	Algebraic models for branching constants	91
4	Network behaviour	123
5	Elgot theories	147
6	Kleene theories	169
Pt. III	Algebraic theory of special networks
7	Flowchart schemes	197
8	Automata	223
9	Process algebra	249
10	Data-flow networks	275
11	Petri nets	305
Pt. IV	Towards an algebraic theory for software components
12	Mixed Network Algebra	323
	Related calculi, closing remarks	351
App. A	Equivalent BNA presentation (LR-flows)	353
App. B	Lifting BNA from connections to networks	359
App. C	Demonic relation operators	362
App. D	Generating congruences	368
App. E	Automata, complements	369
App. F	Data-flow networks; checking NA axioms	371
App. G	Axiomatizing mixed relations	373
App. H	Discats as sysecats	375
App. I	Decomposing morphisms in discats	377
App. J	Plans as free discats	379
	Bibliography	381
	List of tables	391
	List of figures	393
	Index	395