Advertisement

Literatur

Chapter
  • 19 Downloads
Part of the Teubner-Texte zur Informatik book series (TTZI, volume 2)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. /BuA89/.
    Abu-Amara, H.; Balraj, T.; Barzilai, T.; Yemini, Y.; “PSI: A Silicon Compiler forvery fast protocol processing”; in /Rudi89/; S. 181–195Google Scholar
  2. /Cke82/.
    Ackerman, W.B.; “Data Flow Languages”; Computer; Band 15; Nr. 2; 1982; S. 15–25Google Scholar
  3. /Gra91/.
    Agrawal, S.; Kaye, A.R.; Mahmoud, S.; “VLSI Design for a High-Speed FDDI toATM Bridge”; Conf. on High Speed Networking Berlin,Maerz 91; 1991Google Scholar
  4. /K89/.
    Akl, S.G.; “The Design and Analysis of Parallel Algorithms”; Prentice-HallInternational; London; 1989zbMATHGoogle Scholar
  5. /Ia90/.
    Albanese A.; Garrett M.W.; Ippoliti A.; Karr M.A.; Maszczak M.; Shia D.;“Overview of Bellcore Metrocore Network”; in /Dant90/; 1990Google Scholar
  6. /Ibe90/.
    Albertengo, G.; Sisto, R.; “Parallel CRC Generation”; IEEE Micro; S. 63–71; Oktober1990Google Scholar
  7. /NSI87/.
    ANSI; “Fiber Distributed Data Interface /FDDI/ - Token Ring Media Access Control/MAC/”; ANSI X3. 139; 1987Google Scholar
  8. /P190/.
    Apel, J.; Ferrero, F.; Grossi, L.; Hansen, J.E.; “Implementation Techniques for LION”;in: /Dant90/; 1988Google Scholar
  9. /Ts89/.
    Atasever, A.; “Umsetzung des mit LOTOS spezifizierten Transportprotokolls in eineSpezifikation mittels Petri-Netz”; Diplomarbeit RWTH-Aachen; 1989; Lehrstuhl für Informatik IVGoogle Scholar
  10. /Ab88/.
    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–1268Google Scholar
  11. /Ab86/.
    Ab86/Barbagelata, M.; Abellard, P.; “Parallel Calculation Modelling With Data FlowPetri Nets”; Proc. of Parallel Processing Techniques for Simulation; S. 239–249Google Scholar
  12. /A169/.
    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; 1969CrossRefGoogle Scholar
  13. /Am90/.
    Baumgarten, B.; “Petri-Netze - Grundlagen und Anwendungen”;Google Scholar
  14. BI-Wissenschaftsverlag; 1990Google Scholar
  15. /eli88/.
    Belinda, F.; Hogrefe, D.; “Introduction to SDL”; Proc. of Forte 88; 1988Google Scholar
  16. /enA85/.
    Ben-Ari, M.; “ Grundlagen der Parallelprogrammierung”; Hanser-Verlag, 1985Google Scholar
  17. /ert82/.
    Berthelot, G.; Terrat, R.; “Petri Nets Theory for the Correctness of Protocols”; in:/Suns82/; 1982; S. 325–343Google Scholar
  18. /Best87/.
    Best, E.; Fernandez, C.; “Notations and Terminology on Petri Net Theory”;Arbeitspapiere der GMD, Gesellschaft für Mathematik und Datenverarbeitung MBH; Band 195; 1987Google Scholar
  19. /Bian91/.
    Bianchi, A.; Capolupo D.; Fantini, A.; “UCOL: Network Architecture andDistributed Access Protocol”; in /Dant91/; 1991Google Scholar
  20. /Bic85/.
    Bic, L.; “Processing Of Semantic Nets On Dataflow Architectures’; Artificial ntelligence; Netherlands; Nov. 1985; Band 27; Nr. 2; 1985; S. 219–227Google Scholar
  21. /Bi1188/.
    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–316Google Scholar
  22. /Blan90/.
    Blanke, G; Sun Lie, J.; “Parallelität in Protokollen für Hochgeschwindigkeitsnetze”;Hildesheimer Informatik Berichte. 2/90; 1990Google Scholar
  23. /Boch87a/.
    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–999Google Scholar
  24. /Boch87b/.
    Bochmann, G.; “Usage of Protocol Development Tools: The Result of a Survey”; in:/Rudi87a/Google Scholar
  25. /Boch90/.
    Bochmann, G.; “Specifications of Simplified Transport Protocol Using DifferentFormal Description Techniques”; Computer networks and ISDN Systems; Band 18; Nr. 5; 1990; S. 335–377CrossRefGoogle Scholar
  26. /Bode83a/.
    Bode, A.; Händler, W.; Rechnerarchitektur 1: Grundlagen und Verfahren; SpringerVerlag 1983Google Scholar
  27. /Bode83b/.
    Bode, A.; Händler, W.; Rechnerarchitektur 2: Strukturen; Springer Verlag 1983Google Scholar
  28. /Bode88/.
    Bode, A.; Feitosa, R.Q.; “Bewertung von Speicherkonzepten fürMultiprozessorsysteme ”; Informationstechnik /it/; Band 30; Nr. 2; 1988; S. 139–147Google Scholar
  29. /Boi188/.
    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–102Google Scholar
  30. /Bolc89/.
    Bolch, G.; “Leistungsbewertung von Rechensystemen”; Teubner Verlag; Stuttgart; 1989CrossRefGoogle Scholar
  31. /Bo1o87/.
    Bolognesi T., Brinksma E.: Introduction to the ISO Specification Language LOTOS;Computer Network and ISDN Systems 14; pp 25–59 1987Google Scholar
  32. /Brau84/.
    Brauer, W.; “How to play the Token Game”; Petri Net Newsletter; Nr. 16; GI; 1984Google Scholar
  33. /Brau87/.
    Brauer, W.; Reisig, W.; Rozenberg, G. /ed./; “Petri Nets: Central Models and theirProperties, Advances in Petri Nets, Part 1”; Springer; 1987Google Scholar
  34. /Bria86/.
    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–175Google Scholar
  35. /Bria87/.
    Briand J.P., Fehri M.C., Lagrippo L., Obaid A.; “Executing LOTOS specifications”; in:/Sari86/; 1986; S. 73–84Google Scholar
  36. /Brin84/.
    Brinksma, E.; Karjoth, G.; “A specification of the OSI transport service in LOTOS”;in: /Yemi84/; 1984; S. 227–251Google Scholar
  37. /Brin85/.
    Brinksma, E.; “A Tutorial on LOTOS”; in: /Diaz85/; 1985; S. 171–1949. Literatur 183Google Scholar
  38. /Brin86/.
    Brinksma, E.; Scollo, G.; Steenbergen, C.; “LOTOS Specifications, theirImplementations and their Tests”; in: /Sari86/; 1986; S. 349–359Google Scholar
  39. /Budk87/.
    Budkowski, S., Dembinski P.; “Introduction to ESTELLE’; Computer Network andISDN Systems; Nr. 14; 1987Google Scholar
  40. /Burk87/.
    Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R; “Produktnetze - Ein formalesBeschreibungsmittel für kooperierende Systeme”; GMD - Studien; Dezember 1987; Nr. 129; 1987Google Scholar
  41. /Burk89/.
    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; 1989Google Scholar
  42. /Burr88/.
    Burr, W.E.; Zuqui, L.; “An Overview Of FDDI”; Proc. of. EFOC/LAN 88; 1988; S. 287–293Google Scholar
  43. /CCIT1-87/.
    CCITT SG X; “Recommendation Z.100 - Specification and Description Language SDL”; Contribution Corn X-R-15-E; 1987Google Scholar
  44. /Chan87/.
    Chan, I.; “ESTELLE-C Compiler”; Version 2.0; University British Columbia; 1987Google Scholar
  45. /Cher89/.
    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–44CrossRefGoogle Scholar
  46. /Ches87/.
    Chesson G.; “Protocol Engine Design”; in Proc. of USENIX–Technical Conference andExhibition; Phoenix/Arizona; June 1987;p. 209–215Google Scholar
  47. /Ches88/.
    Chesson, G.; Green, L.; “XTP-Protocol Engine VLSI for Real-Time LANs”;EFOC/LAN-88 ProceedingS. June 29-July 1, 1988; 1988; S. 435–438Google Scholar
  48. /Cher89/.
    Chesson, G.; “XTP/PE Design Considerations”; in /Rudi89/; S. 27–33Google Scholar
  49. /Chio91/.
    Chiola, G.; “GreatSPN 1.5 Software Architecture”; Proc. of. Modelling Techniques nd tools for Computer Performance Emulation. Turin, Italy 91; 1991Google Scholar
  50. /Clar85/.
    Clark, D.D.; “The structuring of systems using Upcalls”; 10th ACM symposium on perating syst principles; 1985; S. 171–180Google Scholar
  51. /Clar87/.
    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–359Google Scholar
  52. /C1ar89/.
    Clark, D.D.; Jacobson, V.; Romkey, J.; Salwen, H.; “An Analysis of TCP Processing verhead”; IEEE Comunications Magazine; Band 27; Nr. 6; June 1989Google Scholar
  53. /Dabb89/.
    Dabbous, W.S.; “On High-Speed Transport Protocols”; in /Rudi89/; S. 135–141Google Scholar
  54. /Dang88/.
    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–110CrossRefGoogle Scholar
  55. /Dant90/.
    Danthine, A.; Spaniol, O./ed./; “High Speed Local Area Networks 88”, Elsevier cience Publishers B.V. /North-Holland/; 1990Google Scholar
  56. /Dant91/.
    Danthine, A.; Spaniol, O./ed./; “High Speed Local Area Networks”; Proc: of Third FIP WG 6. 4 Conference on High Speed Networking; Berlin; 1991Google Scholar
  57. /Davi89/.
    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; 1989Google Scholar
  58. /DeGr86/.
    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–151Google Scholar
  59. /Diaz82/.
    Diaz,M; “Modeling and Analysis of Communication and Cooperation Protocols Using etri Net Based Models”; Computer NetworkS. North-Molland, 1982, S. 419–441Google Scholar
  60. /Diaz85/.
    Diaz, M./ed./; “Protocol Specification, Testing and Verification V’; Elservier Science ublishers B.V. /North - Holland /; 1985Google Scholar
  61. /Diaz86/.
    Diaz, M.; Vissers, C.; Ansart J.P.; “Sedos–Software Environment For The Design Of pen Distributed Systems ”; ESPRIT’85; 1986; S. 529–539Google Scholar
  62. /Diaz87/.
    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–170Google Scholar
  63. /Diot90/.
    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–230Google Scholar
  64. /Doer90/.
    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; 1990Google Scholar
  65. /Dres87/.
    Dresen, M.; “Parallelität in Kommunikationsprotokollen-Ein adäquatesNetzkonzept”; Diplomarbeit RWTH-Aachen; 1987; Lehrstuhl für Informatik IVGoogle Scholar
  66. /Duga89/.
    Dugan,J.B.; Gardo,G.; “Stochastic Petri Net Analysis of a Replicated File System”;IEEE, BAND-SE 15, Nr. 4, 1989, S. 394–401Google Scholar
  67. /Ecke84/.
    Eckert H., Prinoth R.; “Produktnetze - Definition eines PROSIT-Beschreibungsmit-tels”; Arbeitspapiere der GMD Nr. 92; 1984Google Scholar
  68. /Ecke85/.
    Eckert H., Prinoth R.; “Grundsätzliche Betrachtungen und Bemerkungen zu den Pro-duktnetzen”; Arbeitspapiere der GMD Nr. 106; 1985Google Scholar
  69. /Eijk89/.
    Eijk P.H.J.; Vissers C.A.; Diaz M.; “The Formal Description Technique LOTOS”; orth-Holland 1989Google Scholar
  70. /Engb90/.
    Engbrocks, W.; “Funktionale Simulation der MDMA-Architektur”; DiplomarbeitRWTH-Aachen; 1990; Lehrstuhl für Informatik IVGoogle Scholar
  71. /Feh188/.
    Proceedings of 10.Gí/ITG-Fachtagung, Paderborn; 1988; S. p.277–289Google Scholar
  72. /Feld90/.
    Feldbrugge, F.; “Petri Net Tool Overview”; in: /Roze90/; S. 151–178Google Scholar
  73. /Genr87/.
    Genrich, H. J.; “Predicate/Transition Nets”; in: /Brau87/; 1987Google Scholar
  74. /Gerh90/.
    Gerhards, H.; “Implementierungsorientierte Spezifikation von Kommunikationsprotokollen mittels geeigneter Petrinetze am Beispiel des Logical Link Control”; Diplomarbeit RWTH-Aachen; 1990; Lehrstuhl für Informatik IVGoogle Scholar
  75. /Giar89/.
    Girazzo, D.; Kaiserswerth, M.; Wicki, T.; Williamson, R.; “High Speed Parallel Protokoll Implementation”; in /Rudi89/; p. 165–180Google Scholar
  76. /Gidr91/.
    Gidron, R.; “TeraNet: A Multihop Multichannel ATM Lightwave Network”; inGoogle Scholar
  77. /Gilo81/.
    Giloi, W.K.; “Rechnerarchitektur”; Springer-Verlag; 1981Google Scholar
  78. /Golt84/.
    Goltz, U.; Reisig, W.; “CSP-Programs as nets with individual tokens”; Schriften zu Informatik und angewandeten Mathematik; Bericht Nr. 93, RWTH Aachen, 1984Google Scholar
  79. /Golt88/.
    Goltz U.; “Über die Darstellung von CCS-Programmen durch Petrinetze”; Oldenburg Verlag 1988Google Scholar
  80. /Goni90/.
    Gonia, P.: Agrawal, M.:; “A High Performance OSI Implementation on FDDI”; 15th Conference on Local Computer Newtworks; 1990; S. 301–309Google Scholar
  81. /Gord67/.
    Gordon, W.J.; Newell G.F.; “Closed Queueing Systems with Exponential Servers”;Operations Research; Band. 15; Nr. 2; S. 254–265; April 1967Google Scholar
  82. /Graf87/.
    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. 1987Google Scholar
  83. /Gruh88/.
    Gruhn, V.; Hallmann, M.; “A Petri Net Based Compiler For The Prototyping Language Relos”; Microprocessing And Microprogramming; Nr. 24; 1988; S. 471–482CrossRefGoogle Scholar
  84. /Gunn89/.
    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–36CrossRefGoogle Scholar
  85. /Harj90/.
    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/; 1990Google Scholar
  86. /Hart87/.
    Hartung, C. G.; “Programmierung einer Klasse v. Multiprozessorsystemen mit höheren Petri-Netzen”; Dissertation RWTH-Aachen; 1987Google Scholar
  87. /Heat89/.
    Heatley, S.; Stokesberry, D.; “Analysis of Transport Measurements over a Local Area Network”; IEEE Comunications Magazine; Band 27; Nr. 6; June 1989Google Scholar
  88. /Hehm89/.
    Hehmann, D.B.; Salmony, M.G.; Stuettgen, H.J.; “High-Speed Transport Systems for Multi-Media Applications”; in: /Rudi89/; 1989; S. 303–321Google Scholar
  89. /Hein88/.
    Heinrich, A.; Ameling, W.; “Parallelrechner mit höheren Petrinetzen programmieren”; in VMEbus; Band 2.; Nr. 1; Feb. 1988Google Scholar
  90. /Hein89/.
    Heiner, M.; “Petri Net Based Verifikation of Communication Protocols specified by language means”; Akademie der Wissenschaften der DDR; Nr. 2; 1989Google Scholar
  91. /Hein92/.
    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 1992Google Scholar
  92. /Hipp88/.
    “HIPPO - Symbolic executor for - Version 2.1”; University of Twente - Esprit Project SEDOS - ST410; 1988Google Scholar
  93. /Hofm91/.
    Hofmann, B.; “Analyse und Optimierung von Protokoll-Spezifikationen”; Proc. Of Kommunikation in verteilten Systemen, GI/ITG-Fachtagung; Springerverlag, Informatik Fachberichte 267; 1991Google Scholar
  94. /Huit89/.
    Huitema, C.; Doghri, A.; “A High-Speed Approach for the OSI Presentation Protocol”; in /Rudi89/; S. 277–287Google Scholar
  95. /Hwan84/.
    Hwang, K.;Briggs, F.A.; “Computer Architecture and Parallel Processing”; Mc Graw-Hill Book Company; 1984Google Scholar
  96. /IEEE802.2/
    IEEE; “Standards for Local Area Networks: Locigal Link Control”; ANSI/IEEE Standard 802.2–1985, ISO Draft Int. Stand. 8802/2 “; 1985Google Scholar
  97. /IEEE802.3/
    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 1894Google Scholar
  98. /IEEE802.
    / IEEE; “Distributed Queue Dual Bus /DQDB/ Metropolitan Area Network /MAN/”; Draft of Proposed IEEE Standard 802. 6; 1988Google Scholar
  99. /ISO86/.
    ISO “A tutorial on LOTOS”; ISO/TC 97/SC 21/WG 1; 1986Google Scholar
  100. /ISO87a/.
    ISO “Formal Description Of ISO 8072 In LOTOS”; ISO/TC 97/SC 6/ WG 4 N317; 28.10.1987; 1987Google Scholar
  101. /ISO87b/.
    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; 1987Google Scholar
  102. /ISO87c/.
    ISO; “Formal Specification in LOTOS of ISO 8073 = Layer 4 /Protocol/”; ISO/TC97/SC 6/WG 4 N; 1987Google Scholar
  103. /ISO88a/.
    ISO/IEC JTC1/SC21 WG1; “OSI-Architecture: Guidelines for the application of ESTELLE, LOTOS and SDL”; 1988Google Scholar
  104. /ISO7498/.
    ISO; “Information Processing Systems - Open Systems Interconnection–Basic Reference Model”; ISO 7498; 1984Google Scholar
  105. /ISO8072/.
    ISO “Information Processing Systems - Open Systems Interconnection–Transport Service Definition”; ISO 8072; 1985Google Scholar
  106. /I508073/.
    ISO; “Information Processing Systems - Open Systems Interconnection–Connection Oriented Transport Protocol Specification”; ISO 8073; 1986Google Scholar
  107. /ISO8807/.
    ISO; “LOTOS - A Formal Description Technique Based on the Temporal Ordering Specification of Observational Behaviour; ISO/IS 8807, 1987Google Scholar
  108. /ISO9074/.
    ISO; “ESTELLE - A formal description technique based on an extended state transition model”; ISO/IS 9074; 1987Google Scholar
  109. /Jack63/.
    Jackson, J.R.; “Jobshop-Like Queuing Systems”; Management Science; Band 10; Nr. 1; S. 131–142; Oktober 1983Google Scholar
  110. /Jain90/.
    Jain, N.; Schwartz, M.; Bashkow, T.R.; “Transport Protocol Processing at GBPS Rates, SIGCOMM ‘80 SYMPOSIUM Communications Architectures Protocols; S. 188–199; 1990Google Scholar
  111. /Jako86/.
    Jakobs, K.; “Adressierung in offenen Systemen”; CIM Management 3/86; Nr. 3; 1986; S. 60–65Google Scholar
  112. /Jens81/.
    Jensen, K.; “Coloured Petri Nets and the Invariant Method”; Theoretical Computer Science; North Holland; Band 14; 1981; S. 317–336zbMATHGoogle Scholar
  113. /Jens87/.
    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; 1987Google Scholar
  114. /Jens88/.
    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; 1988Google Scholar
  115. /Jens90/.
    Jensen, M.N.; Skov, M.; Sparso, J.; “VLSI-Architectures Implementing Lower Layer Protocols in Very High Data Rate LANs”; in: /Dant90/; 1990Google Scholar
  116. /Joch89/.
    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 IVGoogle Scholar
  117. /Jord88/.
    Jordan, H.F.; “Data Communication in Multiprocessors: Shared and Fragmented Memory”; Informationstechnik /it/; 30. gang 1988; Nr. 2; 1988; S. 129–137Google Scholar
  118. /Jiirg85/.
    Jürgensen, W.; Vuong, S.T.; “CSP And CSP Nets: A Dual Model For Protocol Specification And Verification”; in: /Yemi84/; 1985; S. 253–277Google Scholar
  119. /Kana88/.
    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–187Google Scholar
  120. /Kari87/.
    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–256Google Scholar
  121. /Kell76/.
    Keller, M.; “Formal Verifikation of Parallel Programs”; Communications of the ACM; Band 19; Nr. 7; 1976; S. 371–384Google Scholar
  122. /Kem86/.
    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–305CrossRefGoogle Scholar
  123. /Kern88/.
    Kernighan, B.W.; Ritchie, D.M.; The C Programming Language“; Prentice Hall, New Jersey,1988Google Scholar
  124. /Kí1188/.
    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–553Google Scholar
  125. /Klei86/.
    Klein, A.; “Reduced Instructions Set Computers–Grundprinzipien einer neuen Prozessorarchitektur”; Informatik-Spektrum; Nr. 9; 1986; S. 334–348Google Scholar
  126. /Krem89a/.
    Kremer, W.; “Erstellung eines zur Simulation und Bewertung von KommunikationsControllern geeigneten Lastmodells”; Diplomarbeit RWTH-Aachen; 1989; Lehrstuhl für Informatik IVGoogle Scholar
  127. /Krem89b/.
    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 205Google Scholar
  128. /Kris89/.
    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–1090CrossRefGoogle Scholar
  129. /Kwok90/.
    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–942CrossRefGoogle Scholar
  130. /Lang91/.
    Langen, P.; “Bewertung von Bedienstrategien für Kommunikatiosprozessé Diplomarbeit RWTH-Aachen; 1991; Lehrstuhl für Informatik IVGoogle Scholar
  131. Last88/ “LASTB - LOTOS Abstract Syntax Tree Builder - Version 2.2”; University of Twente - Esprit Project SEDOS - ST410; 1988Google Scholar
  132. /Lein85/.
    Leiner, B.M.; Cole, R.; Postel, J.; Mills, D.; “The Darpa Internet Protocol Suite; IEEE Comm. Mag.; Band 23; Nr. 3; 1985; S. 29–34CrossRefGoogle Scholar
  133. /Leon88/.
    Leon, G.; Marchena, S.;“Formal conversion between LOTOS specification and Galileo nets”; Microprocessing and Microprogramming 24; S. 483–4901988Google Scholar
  134. /Linn85/.
    Linn, R.J.; “The features and facilities of ESTELLE”, in: /Diaz85/; 1985; S. 271–312Google Scholar
  135. /Lita89/.
    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. 8CrossRefGoogle Scholar
  136. /Lude88/.
    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 IVGoogle Scholar
  137. /Marc88/.
    Marchena, S.; Leon, G.;“Transformation from LOTOS specification to Galileo nets”;FORTE 88; S. 217–230Google Scholar
  138. /Mars82/.
    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 189Google Scholar
  139. /Mars83/.
    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–71Google Scholar
  140. /Mars84/.
    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–122Google Scholar
  141. /Mars87/.
    Marsan, M.A.; Chiola, G.; “On Petri nets with Deterministic and Exponentially Distributed Firing Times”;Google Scholar
  142. /Mars90/.
    Marsan, M.A.; “Stochastic Petri Nets: An elementary Introduction”; in: /Roze90/; 1990; S. 1–29Google Scholar
  143. /Mart87/.
    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 1987Google Scholar
  144. /Mart88/.
    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–996Google Scholar
  145. /Mart89/.
    Martini, P.; Rupprecht, M.;’Designing High Speed Controllers for High Speed Local Area Networks“; IEEE - Proc. of Globecom 89Google Scholar
  146. /Mata87/.
    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–379Google Scholar
  147. /Mich87/.
    Michna, B.; “Der Einsatz statischer Dual Port RAMs”; Design Elektronik; Nr. 1; 1987Google Scholar
  148. /Miln80/.
    Milner, R.; “A calculus of communicating Systems”; LNCS Nr. 92; Springer-Verlag 1980Google Scholar
  149. /Mo1185/.
    Molloy, M.K.; “Discrete Time Stochastic Petri Nets”; IEEE Transactions on Software Engineering; Band SE-11; Nr. 4; 1985; S. 417–423MathSciNetGoogle Scholar
  150. /Mooi90/.
    Mooij, W.G.P.; Ligtenberg, A.; “Architecture of a Communication Network Processor”; PARLE; 1989/1990; S. 238–250Google Scholar
  151. /Mä1190/.
    Müller-Stoy, P./ed./; “Architektur von Rechnersystemen”; Tagungsband 11. ITG/GI- Fachtagung München, März 1990; VDE-Verlag; 1990Google Scholar
  152. /Nord89/.
    Nordmark, E.; Cheriton, D.R.; “Experiences from VMTP:How to achieve low response time”; in: /Rudi89/; 1989; S. 43–54Google Scholar
  153. /O’Ma90/.
    O’Malley, S.W.; Peterson, L.L.; “A Highly Layered Architecture for High-Speed Networks.”; Review for High Speed Protocols 90; 1990Google Scholar
  154. /Ober87/.
    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.; 1987Google Scholar
  155. /Ochs91/.
    Ochsenschläger, P.;Die Produktnetzmaschine: Eine Übersicht“; Arbeitspapiere der GMD 505; Januar 1991Google Scholar
  156. /Patr90/.
    Patridge, C.; “How Slow Is One Gigabit Per Second?”; Computer Communications Review; Band 20; Nr. 1; 1990; S. 44–53Google Scholar
  157. /Pete81/.
    Peterson, J. L.; “Petri Net Theory and the Modelling of Systems”; Prentice Hall; 1981Google Scholar
  158. /Plet86/.
    Pletat, U.; “Algebraic Specification of Abstract Data Types and CCS: And Operational Junction.”; in: /Sari86/; 1986; S. 361–371Google Scholar
  159. /Post80/.
    Postel, J.; “User Datagram Protocol”; RFC 768; Information Sciences Institute; August1980Google Scholar
  160. /Raab88/.
    Raabe, U.; Lobjinski, M.; Horn, M.; “Verbindungsstukturen für Multiprozessoren”;Informatik Spektrum; Band 11; Nr. 4; 1988; S. 195–206Google Scholar
  161. /Reis86/.
    Reisig W.; “Petrinetze - Eine Einführung”; Springer-Verlag, 1986Google Scholar
  162. /Roze90/.
    Rozenberg, G.; “Advances in Petri Nets 1989”; Springer; 1990Google Scholar
  163. /Rudi87a/ Rudin H.; “The Dimension of Time in Protocol Specifications”; Networking in open ystems /Ed./
    Müller G.; R.P.Blanc Springer LNCS 248; 1987; S. 360–372Google Scholar
  164. /Rudi89/.
    Rudin, R.; Williamson, R./ed./; “Protocols for High-Speed Networks”; Elsevier Science Publishers B.V. /North-Holland/; 1989Google Scholar
  165. /Rupp87/.
    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 IVGoogle Scholar
  166. /Rupp88/.
    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, ProceedingsGoogle Scholar
  167. /Rupp89a/.
    Rupprecht, M.; Fehlau, F.; Martini, P.; “A Petri-Net Based Parallel CommunicationController for High Speed Local Area Networks”; ICCI 89 - “Computing and Information”, Toronto 89Google Scholar
  168. /Rupp89b/.
    Rupprecht, M.; Martini, P.; “Gateway Performance - Requirements and Improvement;Proc. of Working Conference on Decentralized Systems, Lyon 89 /North-Holland/Google Scholar
  169. /Rupp89c/.
    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 205Google Scholar
  170. /Rupp90a/.
    Rupprecht, M.; “Parallele Implementierung von Kommunikationsprotokollen”; Workshop: “LAN für den Campus und CIM-Bereich; Gaussig 29.10.-2. 11. 90; 1990Google Scholar
  171. /Rupp90b/.
    Rupprecht, M.; Fehlau, F.; Martini, P.; “A New Parallel Controller- Architecture for High Speed Local Area Networks”; in: /Dant90/; 1990Google Scholar
  172. /Sari86/.
    Sarikaya, B.; Bochmann G. v./ed./; “Protocol Specification, Testing, and Verification, VI”; Elservier Science Publishers B.V. /North - Holland /; 1986Google Scholar
  173. /Sclo88/.
    “SCLOTOS - Syntax Checker for LOTOS - Version 2.1”; University of Twente–Esprit Project SEDOS - ST410; 1888Google Scholar
  174. /Sevc87/.
    Sevcik,K.C.; Johnson,M.J.; “Cyclic Time Properties of the FDDI Token Ring Protocol”; IEEE, BANDSE-13; Nr. 3; 1987; S. 376–385Google Scholar
  175. /Shar87/.
    Sharp R.I.; “ The LAN-DTH 140 MBit/s Token Ring ”; in: /Span87/; 1987Google Scholar
  176. /Sifa77/.
    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–93Google Scholar
  177. /Skov89/.
    Skov, M.; “Implementation of Phisical and Media Acess Protocols for High-Speed Networks.”; IEEE Communications Magazine; Band 27; Nr. 6; 1989; S. 45–53CrossRefGoogle Scholar
  178. /Sonn90/.
    Sonnenschein, M.; “Gina: An object oriented, parallel language based on petri nets”; Schriften zur Informatik und angewandten Mathematik, Bericht Nr. 144, RWTHAachen, Fachgruppe Informatik; 1990Google Scholar
  179. /Span87/.
    Spaniol, O.; Danthine, A./ed./; “High Speed Local Area Networks 87”, Elsevier Science Publishers B.V. /North-Holland/; 1987Google Scholar
  180. /Span90/.
    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; 1990Google Scholar
  181. /Spie85/.
    Spies, P.P.; “No-Wait-Send/Rendezvous ”; Informatik-Spektrum; Nr. 8; 1985; S. S.283–288Google Scholar
  182. /Stei90/.
    Steinmetz, R.; Rückert, J.; Racke, W.; “Multimedia-Systeme”; Informatik Spektrum; Band 13; Nr. 5; 1990Google Scholar
  183. /Stra87/.
    Strauss, P.; “OSI throughput performance: Breakthrough or bottelneck?”; Data Communications; Nr. 5; 1987; S. 53–56Google Scholar
  184. /Suns82/.
    Sunshine, C./ed./; “Protocol Specification, Testing and Verification”; Elservier Science Publishers B.V. /North - Holland /; 1982Google Scholar
  185. /Suzu90/.
    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; 1990Google Scholar
  186. /Svob89a/.
    Svobodova, L.;; “Implementing OSI Systems”; IEEE Journal on Selected Areas in Communications; Band 7; Nr. 7; 1989; S. 1115–1130CrossRefGoogle Scholar
  187. /Svob89b/.
    Svobodova, L.; “Measured Performance of Transport Service in LANs”; Computer Networks and ISDN Systems; Band 18; Nr. 1; 1989; S. 31–45CrossRefGoogle Scholar
  188. /Tann88/.
    Tanenbaum A.; “Computer Network”; Printice-Hall; 1988Google Scholar
  189. /Taub87/.
    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 1989Google Scholar
  190. /Ulri90/.
    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–325Google Scholar
  191. /Ulri91/.
    Ulrich, R.; “A Transputer-based HSLAN Communication controller”; Proc. of Conf. on High Speed Networking Berlin; Maerz 91; 1991Google Scholar
  192. /VanM90/.
    Van-Mierop, D.; “Extending Ethernet/802.3 over FDDI using the FX 8000”; in: /Dant90/; 1990Google Scholar
  193. /Vaut86/.
    Vautherin, J.; “Parallel Systems Specification with colored Petri Nets and Algebraic Abstract Data Types”; Advances in Petri Nets 86, LNCS; 1986Google Scholar
  194. /Vuon88/.
    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; 1988Google Scholar
  195. /Wang89/.
    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–99Google Scholar
  196. /Wats87/.
    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 1987Google Scholar
  197. /Wats89/.
    Watson R.W.; “The Delta-t Transport Protocol:Features and Experience”; in:Google Scholar
  198. /Rudi89/;.
    1989; S. 3–17Google Scholar
  199. /Weav89/.
    Weaver, A.C.; “XTP for the NASA Space Station”; in /Rudi89/; S. 35–42Google Scholar
  200. /Wett84/.
    Wettstein, H.; “Architektur von Betriebssytemen”; Carl Hanser Verlag; 1984Google Scholar
  201. /Wood89/.
    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–554Google Scholar
  202. /Yemi84/.
    Yemini, Y.; Strom, R.; Yemini S./ed./; “Protocol Specification, Testing, andVerification, IV”; Elservier Science Publishers B.V. /North - Holland /; 1984Google Scholar
  203. /Zhan90/.
    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; 1990Google Scholar
  204. /Zitt89/.
    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 205Google Scholar
  206. /Zitt90/.
    Zitterbart, M; “OSI-Internetzwerkprotokoll auf Transputer-Netzwerken”; in:/Mä1190/; 1990; S. 302–315Google Scholar

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1993

Authors and Affiliations

  1. 1.Rheinisch-Westfälische TechnischeHochschule AachenAachenDeutschland

Personalised recommendations