Invited Paper: OSI Protocol Testing at the Corporation for Open Systems (I.C. Davidson). Sessions: Specification (J.-P. Courtiat; A. Fleischmann; G.J. Leduc; L. Logrippo, A. Obaid; L.F. Mackert, I. Neumeier-Mackert; B. Meandzija, W.P.-C. Ho; J. Quemada, A. Fernandez; K.J. Turner). Invited Paper: Usage of Protocol Development Tools: The Results of a Survey (G. v. Bochmann). Verification (T. Bolognesi, S.A. Smolka; A.R. Cavalli, F. Horn; E. Najm; J. Pachl; J.L. Richier et al.). Protocol Analysis (S. Aggarwal, D. Barbara, C. Courcoubetis; P. Dembinski, S. Budkowski; D. Gilbert; P.S. Kritzinger; N.F. Maxemchuk, K. Sabnani; G. Pappalardo). Invited Paper: On Limits and Possibilities of Automated Protocol Analysis (G.J. Holzmann). Testing (J. Freudenmann; W. Hengeveld, J. Kroon; A.S. Krishnakumar, B. Krishnamurthy, K. Sabnani; K.H. Muralidhar; Y. Ohara, S. Yoshitake, T. Kawaoka; E.P. Rathgeb et al.; H. Ural).
