Skip to main content
SpringerLink
Log in

Literatur

  • Chapter
Implementierung und parallele Verarbeitung von Kommunikationssoftware

Part of the book series: Teubner-Texte zur Informatik ((TTZI,volume 2))

  • 21 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Abu-Amara, H.; Balraj, T.; Barzilai, T.; Yemini, Y.; “PSI: A Silicon Compiler forvery fast protocol processing”; in /Rudi89/; S. 181–195

    Google Scholar 

  2. Ackerman, W.B.; “Data Flow Languages”; Computer; Band 15; Nr. 2; 1982; S. 15–25

    Google Scholar 

  3. Agrawal, S.; Kaye, A.R.; Mahmoud, S.; “VLSI Design for a High-Speed FDDI toATM Bridge”; Conf. on High Speed Networking Berlin,Maerz 91; 1991

    Google Scholar 

  4. Akl, S.G.; “The Design and Analysis of Parallel Algorithms”; Prentice-HallInternational; London; 1989

    MATH  Google Scholar 

  5. Albanese A.; Garrett M.W.; Ippoliti A.; Karr M.A.; Maszczak M.; Shia D.;“Overview of Bellcore Metrocore Network”; in /Dant90/; 1990

    Google Scholar 

  6. Albertengo, G.; Sisto, R.; “Parallel CRC Generation”; IEEE Micro; S. 63–71; Oktober1990

    Google Scholar 

  7. ANSI; “Fiber Distributed Data Interface /FDDI/ - Token Ring Media Access Control/MAC/”; ANSI X3. 139; 1987

    Google Scholar 

  8. Apel, J.; Ferrero, F.; Grossi, L.; Hansen, J.E.; “Implementation Techniques for LION”;in: /Dant90/; 1988

    Google Scholar 

  9. Atasever, A.; “Umsetzung des mit LOTOS spezifizierten Transportprotokolls in eineSpezifikation mittels Petri-Netz”; Diplomarbeit RWTH-Aachen; 1989; Lehrstuhl für Informatik IV

    Google Scholar 

  10. Balbo,G.; Bruell,S.C.; Chanta,S.; “Combining Queueing Networks and GeneralizedStochastic Petri Nets for the Solution of Complex Models of System Behavior”; IEEE, BAND C-37, Nr. 10, 1988, S. 1251–1268

    Google Scholar 

  11. Ab86/Barbagelata, M.; Abellard, P.; “Parallel Calculation Modelling With Data FlowPetri Nets”; Proc. of Parallel Processing Techniques for Simulation; S. 239–249

    Google Scholar 

  12. Bartlett, K.A.; Scantlebury, R.A.; Wilkinson, P.T.; “A note on reliable full-duplextransmission over half-duplex lines”; Communication ACM; Nr. 12; S. 260–261; 1969

    Article  Google Scholar 

  13. Baumgarten, B.; “Petri-Netze - Grundlagen und Anwendungen”;

    Google Scholar 

  14. BI-Wissenschaftsverlag; 1990

    Google Scholar 

  15. Belinda, F.; Hogrefe, D.; “Introduction to SDL”; Proc. of Forte 88; 1988

    Google Scholar 

  16. Ben-Ari, M.; “ Grundlagen der Parallelprogrammierung”; Hanser-Verlag, 1985

    Google Scholar 

  17. Berthelot, G.; Terrat, R.; “Petri Nets Theory for the Correctness of Protocols”; in:/Suns82/; 1982; S. 325–343

    Google Scholar 

  18. Best, E.; Fernandez, C.; “Notations and Terminology on Petri Net Theory”;Arbeitspapiere der GMD, Gesellschaft für Mathematik und Datenverarbeitung MBH; Band 195; 1987

    Google Scholar 

  19. Bianchi, A.; Capolupo D.; Fantini, A.; “UCOL: Network Architecture andDistributed Access Protocol”; in /Dant91/; 1991

    Google Scholar 

  20. Bic, L.; “Processing Of Semantic Nets On Dataflow Architectures’; Artificial ntelligence; Netherlands; Nov. 1985; Band 27; Nr. 2; 1985; S. 219–227

    Google Scholar 

  21. Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.; “PROTEAN: A High-level PetriNet Tool For The Specification And Verification Of Communication Protocols”; IEEE Transaction On Software Engineering; March 1988; Band 14; Nr. 3; 1988; S. 301–316

    Google Scholar 

  22. Blanke, G; Sun Lie, J.; “Parallelität in Protokollen für Hochgeschwindigkeitsnetze”;Hildesheimer Informatik Berichte. 2/90; 1990

    Google Scholar 

  23. Bochmann, G.; Gerber G.W.; Serre J.M.; “Semiautomatic Implementation of Communication Protocols”; IEEE Transactions On Software Engineering; 9,9 1987; Band SE-13.; Nr. 9; 1987; S. 989–999

    Google Scholar 

  24. Bochmann, G.; “Usage of Protocol Development Tools: The Result of a Survey”; in:/Rudi87a/

    Google Scholar 

  25. Bochmann, G.; “Specifications of Simplified Transport Protocol Using DifferentFormal Description Techniques”; Computer networks and ISDN Systems; Band 18; Nr. 5; 1990; S. 335–377

    Article  Google Scholar 

  26. Bode, A.; Händler, W.; Rechnerarchitektur 1: Grundlagen und Verfahren; SpringerVerlag 1983

    Google Scholar 

  27. Bode, A.; Händler, W.; Rechnerarchitektur 2: Strukturen; Springer Verlag 1983

    Google Scholar 

  28. Bode, A.; Feitosa, R.Q.; “Bewertung von Speicherkonzepten fürMultiprozessorsysteme ”; Informationstechnik /it/; Band 30; Nr. 2; 1988; S. 139–147

    Google Scholar 

  29. Boillat, J.E.; Goode, P.K.; Kropf, P.G.; Spichiger, A.; “ Communication Protocols andConcurrency: An Occam Implementation of X.25 ”; in Proc. of International Zurich Seminar on Digital Communication; ETH Zürich/Switzerland; March 1988; p. 99–102

    Google Scholar 

  30. Bolch, G.; “Leistungsbewertung von Rechensystemen”; Teubner Verlag; Stuttgart; 1989

    Book  Google Scholar 

  31. Bolognesi T., Brinksma E.: Introduction to the ISO Specification Language LOTOS;Computer Network and ISDN Systems 14; pp 25–59 1987

    Google Scholar 

  32. Brauer, W.; “How to play the Token Game”; Petri Net Newsletter; Nr. 16; GI; 1984

    Google Scholar 

  33. Brauer, W.; Reisig, W.; Rozenberg, G. /ed./; “Petri Nets: Central Models and theirProperties, Advances in Petri Nets, Part 1”; Springer; 1987

    Google Scholar 

  34. Briand, J.P.; Fehri, M.C.; Logrippo L.; Obaid, A.; “Structure of a LOTOS Interpreter.”;Protocols Research Group. Department of Computer Science University of Ottawa. Ottawa, Ont. Canada KIN 9B4; 1986; S. 167–175

    Google Scholar 

  35. Briand J.P., Fehri M.C., Lagrippo L., Obaid A.; “Executing LOTOS specifications”; in:/Sari86/; 1986; S. 73–84

    Google Scholar 

  36. Brinksma, E.; Karjoth, G.; “A specification of the OSI transport service in LOTOS”;in: /Yemi84/; 1984; S. 227–251

    Google Scholar 

  37. Brinksma, E.; “A Tutorial on LOTOS”; in: /Diaz85/; 1985; S. 171–1949. Literatur 183

    Google Scholar 

  38. Brinksma, E.; Scollo, G.; Steenbergen, C.; “LOTOS Specifications, theirImplementations and their Tests”; in: /Sari86/; 1986; S. 349–359

    Google Scholar 

  39. Budkowski, S., Dembinski P.; “Introduction to ESTELLE’; Computer Network andISDN Systems; Nr. 14; 1987

    Google Scholar 

  40. Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R; “Produktnetze - Ein formalesBeschreibungsmittel für kooperierende Systeme”; GMD - Studien; Dezember 1987; Nr. 129; 1987

    Google Scholar 

  41. Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.; “Product Nets - A FormalDescription Technique for Cooperating Systems”; GMD-Studien Nr. 165; Gesellschaft für Mathematik und Datenverarbeitung mbH; Nr. 165; 1989

    Google Scholar 

  42. Burr, W.E.; Zuqui, L.; “An Overview Of FDDI”; Proc. of. EFOC/LAN 88; 1988; S. 287–293

    Google Scholar 

  43. CCITT SG X; “Recommendation Z.100 - Specification and Description Language SDL”; Contribution Corn X-R-15-E; 1987

    Google Scholar 

  44. Chan, I.; “ESTELLE-C Compiler”; Version 2.0; University British Columbia; 1987

    Google Scholar 

  45. Cheriton, D.R.; Williamson C.L.; “VMTP as the Transport Layer for High-Performance Distributed Systems.”; IEEE Communication Magazine; Band 27; Nr. 6; 1989; S. 37–44

    Article  Google Scholar 

  46. Chesson G.; “Protocol Engine Design”; in Proc. of USENIX–Technical Conference andExhibition; Phoenix/Arizona; June 1987;p. 209–215

    Google Scholar 

  47. Chesson, G.; Green, L.; “XTP-Protocol Engine VLSI for Real-Time LANs”;EFOC/LAN-88 ProceedingS. June 29-July 1, 1988; 1988; S. 435–438

    Google Scholar 

  48. Chesson, G.; “XTP/PE Design Considerations”; in /Rudi89/; S. 27–33

    Google Scholar 

  49. Chiola, G.; “GreatSPN 1.5 Software Architecture”; Proc. of. Modelling Techniques nd tools for Computer Performance Emulation. Turin, Italy 91; 1991

    Google Scholar 

  50. Clark, D.D.; “The structuring of systems using Upcalls”; 10th ACM symposium on perating syst principles; 1985; S. 171–180

    Google Scholar 

  51. Clark, D.C.; Lambert, M.L.; Zhang, L.; “NETBLT: A High Throughput Transport rotocol”; SIGCOMM 87 Workshop. Frontiers in Computer Communications Technology. Computer Communication Review Vol. 17, No. 5; Band 17; Nr. 5; 1987; S. 353–359

    Google Scholar 

  52. Clark, D.D.; Jacobson, V.; Romkey, J.; Salwen, H.; “An Analysis of TCP Processing verhead”; IEEE Comunications Magazine; Band 27; Nr. 6; June 1989

    Google Scholar 

  53. Dabbous, W.S.; “On High-Speed Transport Protocols”; in /Rudi89/; S. 135–141

    Google Scholar 

  54. Dang, M.; Diot, C.; Sabouni, I.; Sponga, L.; “Specific Data Structure Intended for the mplementation of High Level ISO Standards: Associated Algorithms and Dedicated Hardware”; Microprocessing And Microprogramming; Nr. 24; 1988; S. 103–110

    Article  Google Scholar 

  55. Danthine, A.; Spaniol, O./ed./; “High Speed Local Area Networks 88”, Elsevier cience Publishers B.V. /North-Holland/; 1990

    Google Scholar 

  56. Danthine, A.; Spaniol, O./ed./; “High Speed Local Area Networks”; Proc: of Third FIP WG 6. 4 Conference on High Speed Networking; Berlin; 1991

    Google Scholar 

  57. P. Davids, Th. Wetzel; “Performance Analysis of DQDB Based on Simulation”; orgetragen auf dem Third IEEE Workshop on Metropolitan Area Networks; San Diego, CA, 28.03.–30.03.89; Part. Edition; S. 431–445; 1989

    Google Scholar 

  58. De Grandi, G.; Garrett, M.W.; Albanese, A.; Lee, T.H.; “The Design and mplementation of a Transparent Man/Lan Gateway”; EfOG/Lan 86, the Fourth European Fibre Optic Communication Local Area Network Exposition, Amsterdam; 1986; S. 146–151

    Google Scholar 

  59. Diaz,M; “Modeling and Analysis of Communication and Cooperation Protocols Using etri Net Based Models”; Computer NetworkS. North-Molland, 1982, S. 419–441

    Google Scholar 

  60. Diaz, M./ed./; “Protocol Specification, Testing and Verification V’; Elservier Science ublishers B.V. /North - Holland /; 1985

    Google Scholar 

  61. Diaz, M.; Vissers, C.; Ansart J.P.; “Sedos–Software Environment For The Design Of pen Distributed Systems ”; ESPRIT’85; 1986; S. 529–539

    Google Scholar 

  62. Diaz, M.; “Petri net based models in the specification and verification of protocols”; etri Nets:Applicatons and Other Models of Concurency, Brauer, W./ed/; Reisig,W. /ed/;Rosenberg,G. /ed/; 1987; S. 134–170

    Google Scholar 

  63. Diot, C.; Dang, M.N.X.; “A High Performance Implementation of OSI Transport rotokol Class 4; Evaluation and Perspectives”; 15th Conference on Local Area Networks; 1990; S. 223–230

    Google Scholar 

  64. Doeringer, W.; Dykeman, D.; Kaiserswerth, M.; Meister, B.; Rudin,H.; Williamson,R.; “A Survey of Light-Weight Transport Protocols for High-Speed Networks”; IEEE Transactions on Communications Nov. 1990; 1990

    Google Scholar 

  65. Dresen, M.; “Parallelität in Kommunikationsprotokollen-Ein adäquatesNetzkonzept”; Diplomarbeit RWTH-Aachen; 1987; Lehrstuhl für Informatik IV

    Google Scholar 

  66. Dugan,J.B.; Gardo,G.; “Stochastic Petri Net Analysis of a Replicated File System”;IEEE, BAND-SE 15, Nr. 4, 1989, S. 394–401

    Google Scholar 

  67. Eckert H., Prinoth R.; “Produktnetze - Definition eines PROSIT-Beschreibungsmit-tels”; Arbeitspapiere der GMD Nr. 92; 1984

    Google Scholar 

  68. Eckert H., Prinoth R.; “Grundsätzliche Betrachtungen und Bemerkungen zu den Pro-duktnetzen”; Arbeitspapiere der GMD Nr. 106; 1985

    Google Scholar 

  69. Eijk P.H.J.; Vissers C.A.; Diaz M.; “The Formal Description Technique LOTOS”; orth-Holland 1989

    Google Scholar 

  70. Engbrocks, W.; “Funktionale Simulation der MDMA-Architektur”; DiplomarbeitRWTH-Aachen; 1990; Lehrstuhl für Informatik IV

    Google Scholar 

  71. Proceedings of 10.Gí/ITG-Fachtagung, Paderborn; 1988; S. p.277–289

    Google Scholar 

  72. Feldbrugge, F.; “Petri Net Tool Overview”; in: /Roze90/; S. 151–178

    Google Scholar 

  73. Genrich, H. J.; “Predicate/Transition Nets”; in: /Brau87/; 1987

    Google Scholar 

  74. Gerhards, H.; “Implementierungsorientierte Spezifikation von Kommunikationsprotokollen mittels geeigneter Petrinetze am Beispiel des Logical Link Control”; Diplomarbeit RWTH-Aachen; 1990; Lehrstuhl für Informatik IV

    Google Scholar 

  75. Girazzo, D.; Kaiserswerth, M.; Wicki, T.; Williamson, R.; “High Speed Parallel Protokoll Implementation”; in /Rudi89/; p. 165–180

    Google Scholar 

  76. Gidron, R.; “TeraNet: A Multihop Multichannel ATM Lightwave Network”; in

    Google Scholar 

  77. Giloi, W.K.; “Rechnerarchitektur”; Springer-Verlag; 1981

    Google Scholar 

  78. Goltz, U.; Reisig, W.; “CSP-Programs as nets with individual tokens”; Schriften zu Informatik und angewandeten Mathematik; Bericht Nr. 93, RWTH Aachen, 1984

    Google Scholar 

  79. Goltz U.; “Über die Darstellung von CCS-Programmen durch Petrinetze”; Oldenburg Verlag 1988

    Google Scholar 

  80. Gonia, P.: Agrawal, M.:; “A High Performance OSI Implementation on FDDI”; 15th Conference on Local Computer Newtworks; 1990; S. 301–309

    Google Scholar 

  81. Gordon, W.J.; Newell G.F.; “Closed Queueing Systems with Exponential Servers”;Operations Research; Band. 15; Nr. 2; S. 254–265; April 1967

    Google Scholar 

  82. Graf-Siebald, M.; “Hierarchische Modellierung und Leistungsbewertung einen Local Area Network Controllers”; Diplomarbeit der Universität Dortmund, Lehrstuhl Informatik IV Prof. Dr. Ing. H. Beilner, Dez. 1987

    Google Scholar 

  83. Gruhn, V.; Hallmann, M.; “A Petri Net Based Compiler For The Prototyping Language Relos”; Microprocessing And Microprogramming; Nr. 24; 1988; S. 471–482

    Article  Google Scholar 

  84. Gunningberg, P.; Björkman, M.; Nordmark, E.; Pink, S.; Sjödin, P.; Strömquist J.E.;; “Application Protocols and Performance Benchmarks.”; IEEE Communication Magazine; Band 27; Nr. 6; 1989; S. 30–36

    Article  Google Scholar 

  85. Harju, J.; Koivisto, J.; Kuittinen, J.; Lahti, J.; Malka, J.; Ojanperä, E.; Reilly, J.; “CVOPS User’s Guide”; Document of Telecommunications Laboratory of VTT in Espoo /Finland/; 1990

    Google Scholar 

  86. Hartung, C. G.; “Programmierung einer Klasse v. Multiprozessorsystemen mit höheren Petri-Netzen”; Dissertation RWTH-Aachen; 1987

    Google Scholar 

  87. Heatley, S.; Stokesberry, D.; “Analysis of Transport Measurements over a Local Area Network”; IEEE Comunications Magazine; Band 27; Nr. 6; June 1989

    Google Scholar 

  88. Hehmann, D.B.; Salmony, M.G.; Stuettgen, H.J.; “High-Speed Transport Systems for Multi-Media Applications”; in: /Rudi89/; 1989; S. 303–321

    Google Scholar 

  89. Heinrich, A.; Ameling, W.; “Parallelrechner mit höheren Petrinetzen programmieren”; in VMEbus; Band 2.; Nr. 1; Feb. 1988

    Google Scholar 

  90. Heiner, M.; “Petri Net Based Verifikation of Communication Protocols specified by language means”; Akademie der Wissenschaften der DDR; Nr. 2; 1989

    Google Scholar 

  91. Heinrichs, B.; “XTP-Specification and Parallel Implementation”; erscheint in Proc. of Int. Workshop on Advanced Communications and Applications for High Speed Networks; München; März 1992

    Google Scholar 

  92. “HIPPO - Symbolic executor for - Version 2.1”; University of Twente - Esprit Project SEDOS - ST410; 1988

    Google Scholar 

  93. Hofmann, B.; “Analyse und Optimierung von Protokoll-Spezifikationen”; Proc. Of Kommunikation in verteilten Systemen, GI/ITG-Fachtagung; Springerverlag, Informatik Fachberichte 267; 1991

    Google Scholar 

  94. Huitema, C.; Doghri, A.; “A High-Speed Approach for the OSI Presentation Protocol”; in /Rudi89/; S. 277–287

    Google Scholar 

  95. Hwang, K.;Briggs, F.A.; “Computer Architecture and Parallel Processing”; Mc Graw-Hill Book Company; 1984

    Google Scholar 

  96. IEEE; “Standards for Local Area Networks: Locigal Link Control”; ANSI/IEEE Standard 802.2–1985, ISO Draft Int. Stand. 8802/2 “; 1985

    Google Scholar 

  97. IEEE; “Standards for Local Area Networks: Carrier Sense Multiple Acces with Collision Detection /CSMA/CD/, Acces Method and Physical Layer Specifications”; ANSI/IEEE Standard 803.3, Dezember 1894

    Google Scholar 

  98. / IEEE; “Distributed Queue Dual Bus /DQDB/ Metropolitan Area Network /MAN/”; Draft of Proposed IEEE Standard 802. 6; 1988

    Google Scholar 

  99. ISO “A tutorial on LOTOS”; ISO/TC 97/SC 21/WG 1; 1986

    Google Scholar 

  100. ISO “Formal Description Of ISO 8072 In LOTOS”; ISO/TC 97/SC 6/ WG 4 N317; 28.10.1987; 1987

    Google Scholar 

  101. ISO; “Formal Description of ISO 8073 in LOTOS”; Secreteriat ISO/TC. Association francaice de normalisation. Ad-hoc Group on Formal Description of Transport in LOTOS.ISO/TC 97/SC 6/WG 4 N; 1987

    Google Scholar 

  102. ISO; “Formal Specification in LOTOS of ISO 8073 = Layer 4 /Protocol/”; ISO/TC97/SC 6/WG 4 N; 1987

    Google Scholar 

  103. ISO/IEC JTC1/SC21 WG1; “OSI-Architecture: Guidelines for the application of ESTELLE, LOTOS and SDL”; 1988

    Google Scholar 

  104. ISO; “Information Processing Systems - Open Systems Interconnection–Basic Reference Model”; ISO 7498; 1984

    Google Scholar 

  105. ISO “Information Processing Systems - Open Systems Interconnection–Transport Service Definition”; ISO 8072; 1985

    Google Scholar 

  106. ISO; “Information Processing Systems - Open Systems Interconnection–Connection Oriented Transport Protocol Specification”; ISO 8073; 1986

    Google Scholar 

  107. ISO; “LOTOS - A Formal Description Technique Based on the Temporal Ordering Specification of Observational Behaviour; ISO/IS 8807, 1987

    Google Scholar 

  108. ISO; “ESTELLE - A formal description technique based on an extended state transition model”; ISO/IS 9074; 1987

    Google Scholar 

  109. Jackson, J.R.; “Jobshop-Like Queuing Systems”; Management Science; Band 10; Nr. 1; S. 131–142; Oktober 1983

    Google Scholar 

  110. Jain, N.; Schwartz, M.; Bashkow, T.R.; “Transport Protocol Processing at GBPS Rates, SIGCOMM ‘80 SYMPOSIUM Communications Architectures Protocols; S. 188–199; 1990

    Google Scholar 

  111. Jakobs, K.; “Adressierung in offenen Systemen”; CIM Management 3/86; Nr. 3; 1986; S. 60–65

    Google Scholar 

  112. Jensen, K.; “Coloured Petri Nets and the Invariant Method”; Theoretical Computer Science; North Holland; Band 14; 1981; S. 317–336

    MATH  Google Scholar 

  113. Jensen, M.N.; Skov, M.; Sparso, J.; “Hardware architecture of a node for the LAN-DTH high speed token ring”; in Proc. of Fifth Annual European Fibre Optic Communications and Local Area Networks Exposition; Basel; Switzerland; 1987

    Google Scholar 

  114. Jensen, M.N.; Skov M.; “Dedicated VLSI Architectures for High-Speed Communication Systems”; International Coference On Information Network and Data Communication; INDC-88, Copenhagen, Denmark, March 1988; 1988

    Google Scholar 

  115. Jensen, M.N.; Skov, M.; Sparso, J.; “VLSI-Architectures Implementing Lower Layer Protocols in Very High Data Rate LANs”; in: /Dant90/; 1990

    Google Scholar 

  116. Jochmann, B.; “Spezifikation und Bewertung geeigneter Speicherarchitekturen zur effizienten Bearbeitung von Kommunikationsprotokollen in einem Kommunikationscontroller für hohe Datenraten”; Diplomarbeit RWTH-Aachen; 1989; Lehrstuhl für Informatik IV

    Google Scholar 

  117. Jordan, H.F.; “Data Communication in Multiprocessors: Shared and Fragmented Memory”; Informationstechnik /it/; 30. gang 1988; Nr. 2; 1988; S. 129–137

    Google Scholar 

  118. Jürgensen, W.; Vuong, S.T.; “CSP And CSP Nets: A Dual Model For Protocol Specification And Verification”; in: /Yemi84/; 1985; S. 253–277

    Google Scholar 

  119. Kanakia, H.; Cheriton, D.R.; “The VMP Network Adapter Board /NAB/: High Performance Network Communication for Multiprocessors”; Proceedings of Sigcomm 88, Stanford /California/, Aug 16–19, 1988; Band 18; Nr. 4; 1988; S. 175–187

    Google Scholar 

  120. Karila, A.; “VOPS: A Portable Protocol Development and Implementation Environment.”; Proc. of 1st Int. Conf. Information Network and Data Communication; North-Holland; 1987; S. 251–256

    Google Scholar 

  121. Keller, M.; “Formal Verifikation of Parallel Programs”; Communications of the ACM; Band 19; Nr. 7; 1976; S. 371–384

    Google Scholar 

  122. Kerner, H.;Rainel H.; “EDDA–A Language Based on Petri-Nets and the Dataflow Prinzip for the Development of lel Systems”; Microprocess.Microprogram; Band 18; Nr. 12; 1986; S. 299–305

    Article  Google Scholar 

  123. Kernighan, B.W.; Ritchie, D.M.; The C Programming Language“; Prentice Hall, New Jersey,1988

    Google Scholar 

  124. Killat,U.; Muscate,H.-A.; Wolfinger,B.; “A Performance Analysis of the IEEE 802.5 Token Ring Protocol”; Philips J.Res. 43, 1988,S. 532–553

    Google Scholar 

  125. Klein, A.; “Reduced Instructions Set Computers–Grundprinzipien einer neuen Prozessorarchitektur”; Informatik-Spektrum; Nr. 9; 1986; S. 334–348

    Google Scholar 

  126. Kremer, W.; “Erstellung eines zur Simulation und Bewertung von KommunikationsControllern geeigneten Lastmodells”; Diplomarbeit RWTH-Aachen; 1989; Lehrstuhl für Informatik IV

    Google Scholar 

  127. Kremer, W.; Rupprecht, M.; “Hierarchisches Lastmodellkonzept zur Simulation und Bewertung von HSLAN-Controllern”; Proceeding of Kommunikation in verteilten Systemen; ITG/GI-Fachtagung, Stuttgart, Februar 1989; Springer-Verlag, Informatik-Fachbericht 205

    Google Scholar 

  128. Krishnakumar, A.S.; Sabnani, K.; “VLSI Implementations of Communication Protocols -A Survey”; IEEE Journal on selected Areas in Communications; Band 7; Nr. 7; 1989; S. 1082–1090

    Article  Google Scholar 

  129. Kwok, C.K.; Mukherjee, B.; “Cut-Trough Bridgeing for CSMA/CD Local Area Networks”; IEEE Transactions on Communications; Band 38; Nr. 7; 1990; S. 938–942

    Article  Google Scholar 

  130. Langen, P.; “Bewertung von Bedienstrategien für Kommunikatiosprozessé Diplomarbeit RWTH-Aachen; 1991; Lehrstuhl für Informatik IV

    Google Scholar 

  131. Last88/ “LASTB - LOTOS Abstract Syntax Tree Builder - Version 2.2”; University of Twente - Esprit Project SEDOS - ST410; 1988

    Google Scholar 

  132. Leiner, B.M.; Cole, R.; Postel, J.; Mills, D.; “The Darpa Internet Protocol Suite; IEEE Comm. Mag.; Band 23; Nr. 3; 1985; S. 29–34

    Article  Google Scholar 

  133. Leon, G.; Marchena, S.;“Formal conversion between LOTOS specification and Galileo nets”; Microprocessing and Microprogramming 24; S. 483–4901988

    Google Scholar 

  134. Linn, R.J.; “The features and facilities of ESTELLE”, in: /Diaz85/; 1985; S. 271–312

    Google Scholar 

  135. Litaize, D.; Hammami, O.; Lalam, M.; Mzoughi, A.; Sainrat, P.; “Multiprocessors with a special multiport memory and a pseudo crossbar of serial links used as processor-memory switch”; Computer Architecture News; Band 17; Nr. 6; 1989; S. 8

    Article  Google Scholar 

  136. Ludes, R.; “Entwicklung einer Betriebssystemumgebung für die auf Primitiven basierende Implementierung von Data-Link-Protokollen auf einem Front-EndRechner”; Diplomarbeit RWTH-Aachen; 1988; Lehrstuhl für Informatik IV

    Google Scholar 

  137. Marchena, S.; Leon, G.;“Transformation from LOTOS specification to Galileo nets”;FORTE 88; S. 217–230

    Google Scholar 

  138. Marsan, M.A.; Balbo, G.; Conte, G.; “Comparative Performance Analysis of SingleBus Multiprocessor Architectures.”; IEEE Transactions on Computer, Vol. C-31, No. 12, December 1982; Band C-31; Nr. 12; 1982; S. 1179–1191 9. Literatur 189

    Google Scholar 

  139. Marsan, M.A.; Balbo, G.; Conte, G.;Gregoretti, F.; “Modeling Bus Contention and Memory Interference in a Multiprocessor System. ”; IEEE Transaction on Computer, Band C-32, Nr. 1, January 1983; Band C-32; Nr. 1; 1983; S. 60–71

    Google Scholar 

  140. Marsan,M.A.; Balbo,G.; Conte,G.; “A class of generalized stochastic Petri nets for the performance evaluation of multiprozessor systems”; ACM Trans.Comp.Syst., 1984, S. 93–122

    Google Scholar 

  141. Marsan, M.A.; Chiola, G.; “On Petri nets with Deterministic and Exponentially Distributed Firing Times”;

    Google Scholar 

  142. Marsan, M.A.; “Stochastic Petri Nets: An elementary Introduction”; in: /Roze90/; 1990; S. 1–29

    Google Scholar 

  143. Martini, P.; Spaniol, O.; “Token-Passing in High Speed Backbone Networks for Campus-Wide Environments”; in Modelling Techniques and Performance Evaluation; Fdida, S.; Pujolle, G.;/ed:/; North-Holland 1987

    Google Scholar 

  144. Martini, P.; Spaniol, O.; Wetzel, Th.; “File Transfer in High-Speed Token Ring Networks: Performance Evaluation by Approximate Analysis and Simulation”; IEEE Journal on Selected Areas in Communications; Band 6; Nr. 6, Juli 1988, S. 987–996

    Google Scholar 

  145. Martini, P.; Rupprecht, M.;’Designing High Speed Controllers for High Speed Local Area Networks“; IEEE - Proc. of Globecom 89

    Google Scholar 

  146. Mataix, J.; Puente, de la, J.A.; “A Coloured Petri Net Model of the IEEE 802.4 Medium Access Control Protocol”; Proc. of Eight European Workshop on Application and Theory of Petri Nets, Zaragoza, 24th-26th June, 1987; 1987; S. 367–379

    Google Scholar 

  147. Michna, B.; “Der Einsatz statischer Dual Port RAMs”; Design Elektronik; Nr. 1; 1987

    Google Scholar 

  148. Milner, R.; “A calculus of communicating Systems”; LNCS Nr. 92; Springer-Verlag 1980

    Google Scholar 

  149. Molloy, M.K.; “Discrete Time Stochastic Petri Nets”; IEEE Transactions on Software Engineering; Band SE-11; Nr. 4; 1985; S. 417–423

    MathSciNet  Google Scholar 

  150. Mooij, W.G.P.; Ligtenberg, A.; “Architecture of a Communication Network Processor”; PARLE; 1989/1990; S. 238–250

    Google Scholar 

  151. Müller-Stoy, P./ed./; “Architektur von Rechnersystemen”; Tagungsband 11. ITG/GI- Fachtagung München, März 1990; VDE-Verlag; 1990

    Google Scholar 

  152. Nordmark, E.; Cheriton, D.R.; “Experiences from VMTP:How to achieve low response time”; in: /Rudi89/; 1989; S. 43–54

    Google Scholar 

  153. O’Malley, S.W.; Peterson, L.L.; “A Highly Layered Architecture for High-Speed Networks.”; Review for High Speed Protocols 90; 1990

    Google Scholar 

  154. Obermeit, V.; Steinmetz, R.; Baumgarten, B.; Burkhardt, H.J.;Ochsenschläger, P.; Prinoth, R.; “Communication and database oriented modelling of multilaeral cooperation - A comparison based on Petri Nets.”; Concurrency and NetS. K. Voss, H.J. Genrich, G.Rozenberg /Eds./ Springer Verlag 1987.; 1987

    Google Scholar 

  155. Ochsenschläger, P.;Die Produktnetzmaschine: Eine Übersicht“; Arbeitspapiere der GMD 505; Januar 1991

    Google Scholar 

  156. Patridge, C.; “How Slow Is One Gigabit Per Second?”; Computer Communications Review; Band 20; Nr. 1; 1990; S. 44–53

    Google Scholar 

  157. Peterson, J. L.; “Petri Net Theory and the Modelling of Systems”; Prentice Hall; 1981

    Google Scholar 

  158. Pletat, U.; “Algebraic Specification of Abstract Data Types and CCS: And Operational Junction.”; in: /Sari86/; 1986; S. 361–371

    Google Scholar 

  159. Postel, J.; “User Datagram Protocol”; RFC 768; Information Sciences Institute; August1980

    Google Scholar 

  160. Raabe, U.; Lobjinski, M.; Horn, M.; “Verbindungsstukturen für Multiprozessoren”;Informatik Spektrum; Band 11; Nr. 4; 1988; S. 195–206

    Google Scholar 

  161. Reisig W.; “Petrinetze - Eine Einführung”; Springer-Verlag, 1986

    Google Scholar 

  162. Rozenberg, G.; “Advances in Petri Nets 1989”; Springer; 1990

    Google Scholar 

  163. Müller G.; R.P.Blanc Springer LNCS 248; 1987; S. 360–372

    Google Scholar 

  164. Rudin, R.; Williamson, R./ed./; “Protocols for High-Speed Networks”; Elsevier Science Publishers B.V. /North-Holland/; 1989

    Google Scholar 

  165. Rupprecht, M.; “Parallelität in Kommunikationsprotokollen-Spezifikation undBewertung geeigneter Rechnerarchitekturen zur Implementierung auf der Basis von Stellen/Transitions-Netzen”; Diplomarbeit RWTH-Aachen; 1987; Lehrstuhl für Informatik IV

    Google Scholar 

  166. Rupprecht, M.;Dresen, M.;Fehlau, F.;“A High Throughput LAN-Controller for High Bit Rate Systems”;EFOC/LAN - 88, The Sixth European Fibre Optic Communication and Local Area Network Exposition, Amsterdam, June 29 - July 1988, Proceedings

    Google Scholar 

  167. Rupprecht, M.; Fehlau, F.; Martini, P.; “A Petri-Net Based Parallel CommunicationController for High Speed Local Area Networks”; ICCI 89 - “Computing and Information”, Toronto 89

    Google Scholar 

  168. Rupprecht, M.; Martini, P.; “Gateway Performance - Requirements and Improvement;Proc. of Working Conference on Decentralized Systems, Lyon 89 /North-Holland/

    Google Scholar 

  169. Rupprecht, M.; “Petrinetze als Organisationsprinzip für einen Kommunikations-Controller”; Proc. of Kommunikation in verteilten Systemen; ITG/GI-Fachtagung, Stuttgart, Februar 1989; Springer-Verlag, Informatik-Fachbericht 205

    Google Scholar 

  170. Rupprecht, M.; “Parallele Implementierung von Kommunikationsprotokollen”; Workshop: “LAN für den Campus und CIM-Bereich; Gaussig 29.10.-2. 11. 90; 1990

    Google Scholar 

  171. Rupprecht, M.; Fehlau, F.; Martini, P.; “A New Parallel Controller- Architecture for High Speed Local Area Networks”; in: /Dant90/; 1990

    Google Scholar 

  172. Sarikaya, B.; Bochmann G. v./ed./; “Protocol Specification, Testing, and Verification, VI”; Elservier Science Publishers B.V. /North - Holland /; 1986

    Google Scholar 

  173. “SCLOTOS - Syntax Checker for LOTOS - Version 2.1”; University of Twente–Esprit Project SEDOS - ST410; 1888

    Google Scholar 

  174. Sevcik,K.C.; Johnson,M.J.; “Cyclic Time Properties of the FDDI Token Ring Protocol”; IEEE, BANDSE-13; Nr. 3; 1987; S. 376–385

    Google Scholar 

  175. Sharp R.I.; “ The LAN-DTH 140 MBit/s Token Ring ”; in: /Span87/; 1987

    Google Scholar 

  176. Sifakis, J.; “Petri nets for performance evaluation”; Measuring, Modelling, and Evaluating Computer Systems, Proc. 3rd Int. Symp. IFIP Working Group 7.3; Beilner, H., Gelenbe, E. /ed./; 1977; S. 75–93

    Google Scholar 

  177. Skov, M.; “Implementation of Phisical and Media Acess Protocols for High-Speed Networks.”; IEEE Communications Magazine; Band 27; Nr. 6; 1989; S. 45–53

    Article  Google Scholar 

  178. Sonnenschein, M.; “Gina: An object oriented, parallel language based on petri nets”; Schriften zur Informatik und angewandten Mathematik, Bericht Nr. 144, RWTHAachen, Fachgruppe Informatik; 1990

    Google Scholar 

  179. Spaniol, O.; Danthine, A./ed./; “High Speed Local Area Networks 87”, Elsevier Science Publishers B.V. /North-Holland/; 1987

    Google Scholar 

  180. Spaniol, O.; “High Speed Local Area Networks - What, why, when and how: Planning, installation and first experiences of a HSLAN in a heterogeneous environment”; Proceeding of Comnet ‘80: Budapest; 1990

    Google Scholar 

  181. Spies, P.P.; “No-Wait-Send/Rendezvous ”; Informatik-Spektrum; Nr. 8; 1985; S. S.283–288

    Google Scholar 

  182. Steinmetz, R.; Rückert, J.; Racke, W.; “Multimedia-Systeme”; Informatik Spektrum; Band 13; Nr. 5; 1990

    Google Scholar 

  183. Strauss, P.; “OSI throughput performance: Breakthrough or bottelneck?”; Data Communications; Nr. 5; 1987; S. 53–56

    Google Scholar 

  184. Sunshine, C./ed./; “Protocol Specification, Testing and Verification”; Elservier Science Publishers B.V. /North - Holland /; 1982

    Google Scholar 

  185. Suzuki, T.; Shatz, S. M.; Murata, T.; “A Protocol Modeling and Verification Approach Based on a Specification Language and Petri nets”; IEEE Transactions on Software Engineering, Band 16; Nr. 5; S. 523–536; 1990

    Google Scholar 

  186. Svobodova, L.;; “Implementing OSI Systems”; IEEE Journal on Selected Areas in Communications; Band 7; Nr. 7; 1989; S. 1115–1130

    Article  Google Scholar 

  187. Svobodova, L.; “Measured Performance of Transport Service in LANs”; Computer Networks and ISDN Systems; Band 18; Nr. 1; 1989; S. 31–45

    Article  Google Scholar 

  188. Tanenbaum A.; “Computer Network”; Printice-Hall; 1988

    Google Scholar 

  189. Taubner, D.; “On the Implementation of Petri Nets”; Proc. of Eight European Workshop on Application and Theory of Petri Nets, Zaragoza, 24th-26th June, 1987; S. 471–488 Teilschicht“; Messung, Modellierung und Bewertung von Rechensystemen Stiege, G.; Lie, J.S.; /ed./; 5.GI/NTG-Fachtagung, Informatik-Fachberichte 218, Springer-Verlag 1989

    Google Scholar 

  190. Ulrich, R; Dietsch, H.; “Ein Transputer-System mit Hybrider Kopplung als Kommunikationswerk für HSLAN-Anwendungen”; Gesellschaft für Informatik. Architektur von Rechenersystemen. Tagungsband 11. ITG/GI-Fachtagung, München, März 1990.; 1990; S. 315–325

    Google Scholar 

  191. Ulrich, R.; “A Transputer-based HSLAN Communication controller”; Proc. of Conf. on High Speed Networking Berlin; Maerz 91; 1991

    Google Scholar 

  192. Van-Mierop, D.; “Extending Ethernet/802.3 over FDDI using the FX 8000”; in: /Dant90/; 1990

    Google Scholar 

  193. Vautherin, J.; “Parallel Systems Specification with colored Petri Nets and Algebraic Abstract Data Types”; Advances in Petri Nets 86, LNCS; 1986

    Google Scholar 

  194. Vuong, S.T.; Lau, A.C.; Chan, R.I.; “A semiautomatic implementation of protocols using an ESTELLE-C-Compiler”; IEEE Trans. on Software Eng.; Band 14; Nr. 3; S. 384393; 1988

    Google Scholar 

  195. Wang, F.Y.; Gildea, K.; Rubenstein, A.; “A Colored Petri Net Model For Connection Management Services In MMS”; Computer Communication Review;July 1989; Band 19; Nr. 3; 1989; S. 76–99

    Google Scholar 

  196. Watson, R. W.; Mamrak S. A.; “Gaining Efficiency in Transport Services by Appropriate Design and Implementation Choices”; ACM - Transactions on Computer Systems; Vol. 5; Nr. 4; November 1987

    Google Scholar 

  197. Watson R.W.; “The Delta-t Transport Protocol:Features and Experience”; in:

    Google Scholar 

  198. 1989; S. 3–17

    Google Scholar 

  199. Weaver, A.C.; “XTP for the NASA Space Station”; in /Rudi89/; S. 35–42

    Google Scholar 

  200. Wettstein, H.; “Architektur von Betriebssytemen”; Carl Hanser Verlag; 1984

    Google Scholar 

  201. Woodside, C.M.; Montealegre J.R.; “The effect of buffering Strategies on Protocol Execution Performance”; IEEE Transactions on Communications; Band 37; Nr. 6; 1989; S. 545–554

    Google Scholar 

  202. Yemini, Y.; Strom, R.; Yemini S./ed./; “Protocol Specification, Testing, andVerification, IV”; Elservier Science Publishers B.V. /North - Holland /; 1984

    Google Scholar 

  203. Zhang, X.; Seneviratne, A.P.; “An Efficient Implementation of a High-SpeedProtocol without Data Copying”; Proc. of 15th Conf. on Local Computer Networks; S. 443–450; Oktober; 1990

    Google Scholar 

  204. Zitterbart, M.; “A Parallel Architecture for Transport Systems and Gateways”;

    Google Scholar 

  205. Proceeding of Kommunikation in verteilten Systemen; ITG/GI-Fachtagung, Stuttgart, Februar 1989; Springer-Verlag, Informatik-Fachbericht 205

    Google Scholar 

  206. Zitterbart, M; “OSI-Internetzwerkprotokoll auf Transputer-Netzwerken”; in:/Mä1190/; 1990; S. 302–315

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Rheinisch-Westfälische Technische, Hochschule Aachen, Aachen, Deutschland

    Dipl.-Ing. Michael Rupprecht

Authors
  1. Dipl.-Ing. Michael Rupprecht
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1993 B. G. Teubner Verlagsgesellschaft Leipzig

About this chapter

Cite this chapter

Rupprecht, M. (1993). Literatur. In: Implementierung und parallele Verarbeitung von Kommunikationssoftware. Teubner-Texte zur Informatik, vol 2. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-93436-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-93436-9_9

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-8154-2050-8

  • Online ISBN: 978-3-322-93436-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation