Abstract is missing.
- The importance of the service concept in the design of data communications protocolsChris A. Vissers, Luigi Logrippo. 3-17
- Building blocks for distributed system designBernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth. 19-38
- Formal protocol specification based on attribute grammarsOtto Haas. 39-48
- Computer-aided analysis of concurrent systemsE. Timothy Morgan, Rami R. Razouk. 49-58
- Automated protocol verificationJonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman. 59-70
- Verification of protocol specificaitons using the CESAR systemJean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron. 71-90
- An interactive system for the analysis of communicating processesGünter Karjoth. 91-102
- General presentation of SCAN. A distributed systems modelling and validation toolElie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso. 103-118
- Protocol analysis by using predicate netsPierre Azéma, Giorgos Papapanagiotakis. 119-130
- Use of Prolog for building protocol design toolsGregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural. 131-147
- Runnable protocol specifications using the logic interpreter SLOGN. Choquet, Laurent Fribourg, A. Mauboussin. 149-168
- A tutorial on LOTOSEd Brinksma. 171-194
- A specification of a PROWAY protocol with an Algebraic languageAntonella Di Stefano, Michele Malgeri, Orazio Mirabella. 195-213
- Assessing the service provided by a connection-less protocolGuy Leduc. 215-234
- Protocol description with the OCCAM languageCécile Roisin. 235-246
- ADA, a well suited language for specification and implementation of protocolsRichard Castanet, A. Dupeux, Pascal Guitton. 247-258
- Automatic implementation of formal descriptions of communication protocolsHans A. Hansson. 259-270
- The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine modelRichard J. Linn Jr.. 271-296
- A simulation environment for protocol specifications described in ESTELLEJean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache. 297-312
- Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDAClaude Jard, Jean-François Monin, Roland Groz. 315-331
- A simulation technique for communications protocols based on a formal specification by SDLW. Fischer, Klaus Sauer, W. Denzel. 333-347
- Predicting protocol performance from a meta-implementationJan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin. 349-362
- On the use of quantitative evaluation to assess and study distributed algorithms propertiesAlain Dupuis, Gérard Hébuterne. 363-373
- On packet buffering and protocol performanceC. Murray Woodside, J. R. Montealegre. 375-386
- CCS used as a proof-assistant toolChau Chun Hung. 387-398
- A formal comparison of formal protocol specification techniquesR. C. Venkatraman, Thomas F. Piatkowski. 401-420
- An approach for evaluating formal description techniquesAri Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda. 421-438
- Towards standardized OSI conformance testsD. Rayner. 441-460
- Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specificationsHeinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler. 461-481
- Error detection with multiple observersRachida Dssouli, Gregor von Bochmann. 483-494
- Observer: a run-time checking tool for local area networksR. Molva, Michel Diaz, Jean-Michel Ayache. 495-506
- GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPIBrigitte Lonc. 507-518
- The impact of the Ferry concept on protocol testingH. X. Zeng, D. Rayner. 519-531
- Towards an environment for testing OSI protocolsOmar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu. 533-544