Network Algebra
Springer London Ltd (Verlag)
978-1-85233-195-5 (ISBN)
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.
Erscheint lt. Verlag | 12.4.2000 |
---|---|
Reihe/Serie | Discrete Mathematics and Theoretical Computer Science |
Zusatzinfo | 1 Illustrations, black and white; XVI, 402 p. 1 illus. |
Verlagsort | England |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
Informatik ► Theorie / Studium ► Algorithmen | |
Mathematik / Informatik ► Mathematik ► Algebra | |
Mathematik / Informatik ► Mathematik ► Analysis | |
Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik | |
Technik ► Nachrichtentechnik | |
Schlagworte | Concurrency and Control • Feedback • Network Algebra |
ISBN-10 | 1-85233-195-X / 185233195X |
ISBN-13 | 978-1-85233-195-5 / 9781852331955 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich