Gheorghe Stefanescu

Network Algebra (eBook, PDF)

• Format: PDF

Produktbeschreibung

Network algebra considers the algebraic study of networks and their behavior. It approaches the models in a sharp and simple manner. This book takes an integrated view of a broad range of applications, varying from concrete hardware-oriented models to high-level software-oriented models.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer London
• Seitenzahl: 402
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781447104797
• Artikelnr.: 44000287

Inhaltsangabe

I. An introduction to Network Algebra.- Brief overview of the key results.- 1. Network Algebra and its applications.- II. Relations, flownomials, and abstract networks.- 2. Networks modulo graph isomorphism.- 3. Algebraic models for branching constants.- 4. Network behaviour.- 5. Elgot theories.- 6. Kleene theories.- 7. Flowchart schemes.- 8. Automata.- 9. Process algebra.- 10. Data-flow networks.- 11. Petri nets.- IV. Towards an algebraic theory for software components.- 12. Mixed Network Algebra.- Related calculi, closing remarks.- Appendix B: Lifting BNA from connections to networks.- Appendix C: Demonic relation operators.- Appendix D. Generating congruences.- Appendix E: Automata, complements.- Appendix F: Data-flow networks; checking NA axioms.- Appendix G: Axiomatizing mixed relations.- Appendix H: Discats as sysecats.- Appendix I: Decomposing morphisms in discats.- Appendix J: Plans as free discats.- List of tables.- List of figures.

Rezensionen

"Interesting exercises and problems accompany most of sections. Also some open questions related to this subject are present." (Daniela Marinescu, zbMATH 0956.68002, 2022)