Keynote Address: Protocol Engineering: A Critical Assessment (H. Rudin). Invited Papers: Architecture and Specification Style in Formal Description of Distributed Systems (C.A. Vissers, G. Scollo, M. van Sinderen). A Relational Notation for State Transition Systems (S.S. Lam, A.U. Shanker). Sessions: Specification. Testing and Simulation. Verification. Implementation. Contributors: A.V. Aho, P.D. Amer, S. Banerjee, T.P. Blumer, G. v. Bochmann, M. Bretschneider, E. Brinksma, R.I. Chan, W.Y.L. Chan, A. Chung, J.P. Courtiat, A.T. Dahbura, X.F. Du, M. Duque Anton, R. Duke, A. Fernandez, B. Fink, A. Finkel, R.A. Fleming, Q. Gao, R. Gotzhein, R. Guillemot, M. Haj-Hussein, I. Hayes, C.S. He, W.P.C. Ho, M.W.A. Hornbeek, C. Jard, G. Karjoth, K. Katsuyama, P. King, J.G. Kuhl, D. Lee, F.J. Lin, M.T. Liu, L. Logrippo, G.M. Lundy, B. Meandzija, C. Miguel, R.E. Miller, S.P. Miller, T. Mizuno, J. Munemori, T. Nakakawaji, S. Noguchi, K. Okumura, F. Orava, J.M. Pageot, J. Parrow, A. Pridor, R.L. Probert, J. Quemada, G. Rose, B. Sarikaya, F. Sato, J. Schmidt, N. Shiratori, D.P. Sidhu, K. Takahashi, H. Ural, M.U. Uyar, J. Vaucher, L. Vidaller, S.T. Vuong, H.X. Zeng.
