About the Book
The results collected in this volume are from researchers and practitioners concerned with the theory and application of formal techniques to protocols. The main subject areas covered by the papers are: - formal models for computer communication systems - formal languages for the specification and verification of protocols - testing approaches and techniques for computer communication systems - verification and validation of communication protocols - automated implementation techniques for protocols - software environments for the development and analysis of protocols.
Table of Contents:
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.
